219 search results - page 44 / 44 » Bond-Free Languages: Formalizations, Maximality and Construc... |
KCAP
2005
ACM
13 years 11 months ago
2005
ACM
Semantic data transformation plays an important role in realizing the vision of the semantic web. It supports the transformation of data in different representations into ontologi...
ICCS
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...
CAV
2005
Springer
13 years 11 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
KCAP
2003
ACM
13 years 11 months ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...