Sciweavers

2312 search results - page 276 / 463
» Invariance in Property Testing
Sort
View
PIMRC
2008
IEEE
14 years 5 months ago
The design and detection of signature sequences in time-frequency selective channel
Abstract— In a slot-synchronized wireless communication system, a set of signature sequences can be derived by circularly shifting a base sequence with good auto correlation prop...
Jiann-Ching Guey
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
14 years 5 months 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»
14 years 4 months 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»
14 years 4 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»
14 years 22 days 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