4529 search results - page 404 / 906 » Position Based Cryptography |
202
click to vote
LICS
2006
IEEE
16 years 23 days ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
159
click to vote
CRV
2005
IEEE
16 years 12 days ago
2005
IEEE
We present an object detection system that is applied to detecting pedestrians in still images, without assuming any a priori knowledge about the image. The system works as follow...
188
click to vote
ICIP
2005
IEEE
16 years 11 days ago
2005
IEEE
Atlas-based segmentation has become a standard paradigm for exploiting prior knowledge in medical image segmentation. In this paper, we propose a method to exploit both the robust...
204
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
166
click to vote
3DIM
2003
IEEE
16 years 2 days ago
2003
IEEE
We present a novel technique for calibrating a zooming camera based on the invariance properties of the Normalized Image of the Absolute Conic (NIAC). First, we show that the came...