523 search results - page 64 / 105 » Past and Future of DL-Lite |
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
Web based data services are very popular with the average computer user. Examples of such services include Gmail.com, Yahoo Photos, Yahoo Briefcase and Amazon S3 Service. In such ...
TABLEAUX
2007
Springer
14 years 1 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— The Mobile Robot Programming Laboratory course has been taught at Carnegie Mellon University for the past twelve years. It is a problem-driven class designed for students with ...
TABLETOP
2006
IEEE
14 years 1 months ago
2006
IEEE
While “displays” have the connotation of affording visual output, “surfaces” invite the users to interact. What happens then when the surfaces are also displays, when a di...
HRI
2006
ACM
14 years 1 months ago
2006
ACM
Robot programmers are faced with the challenging problem of understanding the robot’s view of its world, both when creating and when debugging robot software. As a result tools ...