Sciweavers

1620 search results - page 144 / 324
» Testing Polymorphic Properties
Sort
View
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
16 years 10 days ago
Distributed Watchpoints: Debugging Large Multi-Robot Systems
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
Michael DeRosa, Jason Campbell, Padmanabhan Pillai...
ISCAS
2006
IEEE
135views Hardware» more  ISCAS 2006»
16 years 1 days ago
A sensor system on chip for wireless microsystems
Recent years have seen the rapid development of microsensor technology, system on chip design, wireless technology and ubiquitous computing. When assembled into a complex microsys...
L. Wang, Nizamettin Aydin, A. Astaras, M. Ahmadian...
ICRA
2003
IEEE
121views Robotics» more  ICRA 2003»
15 years 11 months ago
A comparison of Gaussian and mean curvatures estimation methods on triangular meshes
Estimating intrinsic geometric properties of a surface from a polygonal mesh obtained from range data is an important stage of numerous algorithms in computer and robot vision, co...
Tatiana Surazhsky, Evgeni Magid, Octavian Soldea, ...
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 8 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
AAAI
1992
15 years 7 months ago
On the Minimality and Decomposability of Constraint Networks
Constraint networks have been shown to be useful in formulating such diverse problems as scene labeling, natural language parsing, and temporal reasoning. Given a constraint netwo...
Peter van Beek