Sciweavers

1036 search results - page 122 / 208
» The case for a location metasystem
Sort
View
LPAR
2007
Springer
16 years 13 days ago
Verifying Cryptographic Protocols with Subterms Constraints
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
APSEC
2006
IEEE
16 years 11 days ago
Visualizing Clone Cohesion and Coupling
Coupling and cohesion between subsystems are commonly studied metrics when analyzing the architecture of software systems. It is usually desirable for subsystems to have high cohe...
Zhen Ming Jiang, Ahmed E. Hassan, Richard C. Holt
CRV
2006
IEEE
69views Robotics» more  CRV 2006»
16 years 11 days ago
Photometric Stereo with Nearby Planar Distributed Illuminants
This paper considers the problem of shape-from-shading using nearby planar distributed illuminants. It is shown that a rectangular planar nearby distributed uniform isotropic illu...
James J. Clark
ICRA
2006
IEEE
104views Robotics» more  ICRA 2006»
16 years 10 days ago
Range-only SLAM for Robots Operating Cooperatively with Sensor Networks
— A mobile robot we have developed is equipped with sensors to measure range to landmarks and can simultaneously localize itself as well as locate the landmarks. This modality is...
Joseph Djugash, Sanjiv Singh, George Kantor, Wei Z...
CVBIA
2005
Springer
15 years 12 months ago
Shape Based Segmentation of Anatomical Structures in Magnetic Resonance Images
Standard image based segmentation approaches perform poorly when there is little or no contrast along boundaries of different regions. In such cases, segmentation is largely perfor...
Kilian M. Pohl, John W. Fisher III, Ron Kikinis, W...