950 search results - page 66 / 190 » Pin-pointing concept descriptions |
148
click to vote
RIAO
2000
15 years 5 months ago
2000
The Internet is a tremendous resource where one can find documents to enrich a personal information space. The question is: how can one find relevant documents and how can these b...
133
click to vote
PERCOM
2006
ACM
16 years 4 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...
108
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
133
click to vote
FLAIRS
2008
15 years 6 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
125
click to vote
DLOG
2003
15 years 5 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...