2214 search results - page 164 / 443 » Complexity of Reasoning |
183
click to vote
IAT
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper addresses the dynamic service selection and composition issues for the satisfaction of user requirements. We propose an approach in which agents perform service composi...
155
click to vote
LICS
2006
IEEE
16 years 14 days ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
170
click to vote
COMPGEOM
2006
ACM
16 years 13 days ago
2006
ACM
It is a widely observed phenomenon in computer graphics that the size of the silhouette of a polyhedron is much smaller than the size of the whole polyhedron. This paper provides,...
181
click to vote
PPSWR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
164
click to vote
PPSWR
2005
Springer
15 years 12 months ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...