1671 search results - page 158 / 335 » Semantics Through Pictures |
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
ODBIS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. RDF Schema (RDFS) extends RDF with a schema vocabulary with a predefined semantics. Evaluating queries which involve this vocabulary is challenging, and there is not yet...
ICALT
2006
IEEE
14 years 2 months ago
2006
IEEE
Proper reuse of learning objects depends both on the amount and quality of attached semantic metadata such as “learning objective”', “related concept”, etc. Manually ...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...