1757 search results - page 105 / 352 » Integrating and Extending JCSP |
ICPR
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents a new surface reconstruction method that extends previous carving methods for non-Lambertian objects by integrating the smoothness and image information of dif...
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
We examine some known attacks on the PIN verification framework, based on weaknesses of the security API for the tamperresistant Hardware Security Modules used in the network. We s...
100
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
EWSN
2004
Springer
15 years 9 months ago
2004
Springer
Sensor networks consist of a potentially huge number of very small and resource limited self-organizing devices. This paper presents the design of a general distributed service dir...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper presents an indoor localization system for the visually impaired. The basis of our system is an Extended Kalman Filter (EKF) for six degree-of-freedom (d.o.f.) posit...