6608 search results - page 969 / 1322 » On the Completeness of Model Checking |
175
click to vote
CIRA
2007
IEEE
15 years 10 months ago
2007
IEEE
This article presents an approach to Programming by Demonstration (PbD) to simplify programming of industrial manipulators. By using a set of task primitives for a known task type,...
186
click to vote
CLOUDCOM
2009
Springer
15 years 10 months ago
2009
Springer
Workflows are modeled as hierarchically structured directed acyclic graphs in which vertices represent computational tasks, referred to as requests, and edges represent precedent c...
150
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
189
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
The purpose of this paper is to introduce a multi-agent model for plan synthesis in which the production of a global shared plan is based on a promising unified framework based on...
175
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Medial surfaces are popular representations of 3D objects in vision, graphics and geometric modeling. They capture relevant symmetries and part hierarchies and also allow for deta...