2316 search results - page 387 / 464 » The many forms of hypercomputation |
138
click to vote
EDUTAINMENT
2007
Springer
15 years 10 months ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
145
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user m...
131
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
162
click to vote
ICN
2007
Springer
15 years 10 months ago
2007
Springer
— The fields of autonomics and system configuration share a common goal in decreasing the cost of ownership of large fabrics. In this paper we present a combined vision in whic...
128
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
To be effective and useful, math search systems must not only maximize precision and recall, but also present the query hits in a form that makes it easy for the user to identify...