3028 search results - page 393 / 606 » Integrating Temporal Logics |
178
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
196
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...
170
click to vote
AIMSA
2008
Springer
16 years 29 days ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
165
click to vote
DAS
2004
Springer
16 years 6 hour ago
2004
Springer
This paper presents a complete system that historians/archivists can use to digitize whole collections of documents relating to personal information. The system integrates tools an...
218
click to vote
EPIA
2003
Springer
15 years 11 months ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...