Large Formal Wikis: Issues and Solutions.
Jesse AlamaKasper BrinkLionel MamaneJosef UrbanPublished in: Calculemus/MKM (2011)
Keyphrases
- computational issues
- key issues
- neural network
- optimal solution
- collaborative learning
- feasible solution
- formal model
- social networking
- information technology
- metadata
- artificial intelligence
- learning process
- databases
- learning environment
- solution space
- database systems
- formal methods
- efficient solutions
- similar problems
- issues arise