Sciweavers

2849 search results - page 230 / 570
» As We Should Have Thought
Sort
View
172
Voted
SSDBM
2007
IEEE
116views Database» more  SSDBM 2007»
16 years 1 months ago
A Distributed Algorithm for Joins in Sensor Networks
Given their autonomy, flexibility and large range of functionality, wireless sensor networks can be used as an effective and discrete means for monitoring data in many domains. T...
Alexandru Coman, Mario A. Nascimento
B
2007
Springer
16 years 1 months ago
Symmetry Reduction for B by Permutation Flooding
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
Michael Leuschel, Michael J. Butler, Corinna Sperm...
179
Voted
IROS
2006
IEEE
117views Robotics» more  IROS 2006»
16 years 27 days ago
Toward Active Cannulas: Miniature Snake-Like Surgical Robots
— We have developed a new class of continuously flexible snake-like robots, called active cannulas, that consist of several telescoping pre-curved superelastic tubes. The device...
Robert J. Webster III, Allison M. Okamura, Noah J....
198
Voted
VTC
2006
IEEE
152views Communications» more  VTC 2006»
16 years 26 days ago
Cross-Layer Interaction Between TCP and UMTS RRM Scheduling Strategies
— In the third generation wireless system UMTS, Radio Resource Management (RRM) functions should encompass scheduling algorithms. In particular, scheduling mechanisms play a key ...
Juan Rendón, Anna Sfairopoulou, Ramon Ferr&...
159
Voted
EWCBR
2004
Springer
16 years 7 days ago
Case-Based Object Recognition
Model-based object recognition is a well-known task in Computer Vision. Usually, one object that can be generalized by a model should be detected in an image based on this model. B...
Petra Perner, Angela Bühring