Sciweavers

1661 search results - page 70 / 333
» Real-time specification patterns
Sort
View
AMFG
2007
IEEE
283views Biometrics» more  AMFG 2007»
15 years 2 months ago
Learning Personal Specific Facial Dynamics for Face Recognition from Videos
In this paper, we present an effective approach for spatiotemporal face recognition from videos using an Extended set of Volume LBP (Local Binary Pattern features) and a boosting s...
Abdenour Hadid, Matti Pietikäinen, Stan Z. Li
SIGDOC
2006
ACM
15 years 4 months ago
Workshop: communicating design patterns with TRIZ
This work will present elements of Genrich Altshuller’s Theory of Inventive Problem Solving, also known as TRIZ, and use them to describe the structural patterns found in the Ga...
John W. Stamey Jr., Ellen Domb
CONSTRAINTS
1998
62views more  CONSTRAINTS 1998»
14 years 9 months ago
Learning Game-Specific Spatially-Oriented Heuristics
This paper describes an architecture that begins with enough general knowledge to play any board game as a novice, and then shifts its decision-making emphasis to learned, game-sp...
Susan L. Epstein, Jack Gelfand, Esther Lock
DAC
2010
ACM
15 years 1 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
ICSE
2008
IEEE-ACM
15 years 10 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su