743 search results - page 112 / 149 » Constraint Programming Architectures: Review and a New Propo... |
191
Voted
DALT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
163
Voted
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Virtual machine service threads can perform many tasks in parallel with program execution such as garbage collection, dynamic compilation, and profile collection and analysis. Har...
172
click to vote
ESWS
2007
Springer
16 years 25 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
185
click to vote
AINA
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents a new QoS guarantee scheme called R-(m,k)-firm (Relaxed-(m,k)-firm) which provides the guarantee on transmission delay of at least m out of any k consecutive p...
158
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— This paper proposes a new way of trajectory generation for industrial manipulators. A real-time algorithm for the interpolation of synchronized and time-optimal manipul...