5216 search results - page 758 / 1044 » Planning as Model Checking |
191
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
135
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
160
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We address the problem of answering Web ontology queries efficiently. An ontology is formalized as a Deductive Ontology Base (DOB), a deductive database that comprises the ontology...
140
click to vote
DSS
2007
15 years 6 months ago
2007
Process-aware information systems are typically driven by process models capturing an idealized view of the actual processes. For example, most process models assume that planned ...
166
click to vote
AROBOTS
2005
15 years 6 months ago
2005
In field environments it is not usually possible to provide robots in advance with valid geometric models of its environment and task element locations. The robot or robot teams ne...