Sciweavers

1036 search results - page 122 / 208
» The case for a location metasystem
Sort
View
LPAR
2007
Springer
16 years 1 months 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...
196
Voted
APSEC
2006
IEEE
16 years 1 months 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
205
Voted
CRV
2006
IEEE
69views Robotics» more  CRV 2006»
16 years 1 months 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 1 months 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
16 years 15 days 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...