2490 search results - page 220 / 498 » Complexity of Contextual Reasoning |
171
click to vote
RR
2007
Springer
16 years 4 days ago
2007
Springer
This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and...
176
click to vote
IAT
2006
IEEE
16 years 2 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...
147
click to vote
LICS
2006
IEEE
16 years 1 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...
156
click to vote
WECWIS
2006
IEEE
16 years 23 hour ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
162
click to vote
COMPGEOM
2006
ACM
16 years 3 hour 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,...