4385 search results - page 554 / 877 » Abstraction for Concurrent Objects |
228
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— This paper presents a novel application of modular robotic technology. Many researchers expect manufacturing technology will allow robot modules to be built at smaller ...
169
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— This paper describes an investigation into the control of autonomous mobile sensor platforms in a marine sensor network used to provide monitoring of transitory phenome...
155
click to vote
SEFM
2006
IEEE
16 years 22 days ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
190
click to vote
ACIVS
2006
Springer
16 years 21 days ago
2006
Springer
Abstract. Image segmentation using graph cuts have become very popular in the last years. These methods are computationally expensive, even with hard constraints (seed pixels). We ...
176
click to vote
ICAC
2005
IEEE
16 years 10 days ago
2005
IEEE
Track 2 - Modeling and Abstraction of Services Process Session Chair: Dynamic Service Invocation Control in Service Composition Environments (SCC2010-2004) ...........................