1405 search results - page 10 / 281 » We Are No Longer A Priesthood |
105
click to vote
ICCV
2001
IEEE
15 years 11 months ago
2001
IEEE
Projection matrices from projective spaces ? to ? have long been used in multiple-view geometry to model the perspective projection created by the pin-hole camera. In this work we...
FSEN
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
CIE
2005
Springer
15 years 3 months ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
UML
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
WEA
2005
Springer
15 years 2 months ago
2005
Springer
We consider the problem of finding a door along a wall with a blind robot that neither knows the distance to the door nor the direction towards of the door. This problem can be so...