5015 search results - page 292 / 1003 » Model Checking a Path |
150
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a new method for planning motions of multi-arm systems in constrained workspaces, for which state-of-the-art planners behave poorly. The method is based on ...
162
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider a queueing system composed of queues distributed at fixed locations in a continuous environment and a mobile server serving the jobs in the queues with spatially v...
146
click to vote
PATMOS
2004
Springer
15 years 12 months ago
2004
Springer
The main result is the development, and delay comparison based on Logical Effort, of a number of high speed circuits for common arithmetic and related operations using threshold l...
175
click to vote
AGI
2008
15 years 8 months ago
2008
There are a wide variety of approaches to Artificial Intelligence. Yet interestingly we find that these can all be grouped into four broad categories: Silver Bullets, Core Values, ...
159
click to vote
ENTCS
2010
15 years 6 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...