2672 search results - page 108 / 535 » Hybridizing Concept Languages |
125
Voted
CSUR
2004
15 years 3 months ago
2004
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...
133
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
126
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
129
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
124
Voted
TMM
2002
15 years 3 months ago
2002
A comprehensive video retrieval system should be able to accommodate and utilize various (complementary) description data in facilitating effective retrieval. In this paper, we ad...