5606 search results - page 44 / 1122 » Advances in Information Science |
CADE
2006
Springer
14 years 11 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
FGCS
2006
13 years 11 months ago
2006
Collaborative visualization of large-scale datasets across geographically distributed sites is becoming increasingly important for Earth Sciences. Not only does it enhance our und...
CCGRID
2006
IEEE
14 years 5 months ago
2006
IEEE
Simplifying access to and usage of large scale compute resources via the Grid is of critical importance to encourage the uptake of e-Research. Security is one aspect that needs to...
CSEE
2011
Springer
13 years 2 months ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper describes recent work undertaken at the Jet Propulsion Laboratory in Pasadena, CA in the area of increased rover autonomy for planetary surface operations. The primary ...