256 search results - page 14 / 52 » Noetherian Spaces in Verification |
TIP
2002
13 years 8 months ago
2002
In this paper, a generic approach to simultaneous tracking and verification in video data is presented. The approach is based on posterior density estimation using sequential Monte...
ADAEUROPE
2008
Springer
13 years 10 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
We present a comparison of several face representation methods from the point of view of their sensitivity to illumination changes. The sensitivity is measured in terms of the ove...
SEC
2003
13 years 9 months ago
2003
For the emerging ambient environments, in which interconnected intelligent devices will surround us to increase the comfort of our lives, fault tolerance and security are of paramo...
FMCAD
2007
Springer
14 years 10 days ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...