2488 search results - page 69 / 498 » An improvement in formal verification |
DAC
1998
ACM
14 years 11 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
IWEC
2010
13 years 11 months ago
2010
In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing n...
JAISE
2010
13 years 4 months ago
2010
Abstract. This paper presents an agent-based, high-level security system for user verification. The system verifies a user's identity by processing data from several low-lever...
CVPR
2006
IEEE
15 years 8 hour ago
2006
IEEE
Most pose robust face verification algorithms, which employ 2D appearance, rely heavily on statistics gathered from offline databases containing ample facial appearance variation ...
CVPR
2004
IEEE
15 years 8 hour ago
2004
IEEE
Motivated by the success of parts based representations in face detection we have attempted to address some of the problems associated with applying such a philosophy to the task ...