1536 search results - page 175 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper we describe a multi-modal ear and face biometric system. The system is comprised of two components: a 3D ear recognition component and a 2D face recognition componen...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...
EDOC
2011
IEEE
12 years 10 months ago
2011
IEEE
Abstract—Enterprise Architecture approaches are used to provide rigorous descriptions of the organization-wide environment, manage the alignment of deployed services to the organ...
CVPR
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a catadioptric projector analogous to a catadioptric camera by combining a commodity digital projector with additional optical units. We show that, by using specially sh...
CL
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...