21 search results - page 3 / 5 » Semantically Enabled Temporal Reasoning in a Virtual Observa... |
TDSC
2008
13 years 8 months ago
2008
Integrated architectures in the automotive and avionic domain promise improved resource utilization and enable a better coordination of application subsystems compared to federated...
COMPSAC
2007
IEEE
14 years 15 days ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
ER
2004
Springer
14 years 1 months ago
2004
Springer
The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. ...
ICDE
2008
IEEE
14 years 3 months ago
2008
IEEE
—Equivalent of €5 billion of wood raw material is going to waste in Europe. The reason is that information regarding the raw material is not available throughout the system. An...
ICIA
2007
2007
Integrating Multiple Representations of Spatial Knowledge for Mapping, Navigation, and Communication
13 years 11 months ago
A robotic chauffeur should reason about spatial information with a variety of scales, dimensions, and ontologies. Rich representations of both the quantitative and qualitative cha...