2272 search results - page 98 / 455 » Validity Invariants and Effects |
APN
1992
Springer
14 years 2 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
ICCV
1999
IEEE
15 years 14 min ago
1999
IEEE
The necessary and sufficient conditions for being able to estimate scene structure, motion and camera calibration from a sequence of images are very rarely satisfied in practice. ...
WDAG
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
FGR
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we propose a novel approach to accurate face localisation for faces under Near-Infrared (Near-IR) illumination. The circular shape of the bright pupils is a scale an...
MICCAI
2001
Springer
14 years 2 months ago
2001
Springer
This paper presents a user-steered segmentation algorithm based on the livewire paradigm. Livewire is an image-feature driven method that finds the optimal path between user-selec...