1176 search results - page 219 / 236 » Description Logics as Ontology Languages for the Semantic We... |
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
FM
1999
Springer
14 years 4 days ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
JUCS
2006
13 years 7 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
CIKM
2004
Springer
14 years 1 months ago
2004
Springer
Modern corporations operate in an extremely complex environment and strongly depend on all kinds of information resources across the enterprise. Unfortunately, with the growth of ...
CG
2004
Springer
13 years 7 months ago
2004
Springer
The ongoing convergence between TV and the Internet leads traditional broadcast companies to publish their content on the Internet. Interactive digital TV platforms, which support...