1989 search results - page 305 / 398 » Expressive surfaces: a designerly approach for computational... |
119
click to vote
WACV
2002
IEEE
15 years 6 months ago
2002
IEEE
The vision-based driver fatigue detection is one of the most prospective commercial applications of facial expression recognition technology. The facial feature tracking is the pr...
147
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
DAC
2003
ACM
16 years 2 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
119
click to vote
FPL
2005
Springer
15 years 7 months ago
2005
Springer
String pattern matching is a computationally expensive task, and when implemented in hardware, it can consume a large amount of resources for processing and storage. This paper pr...
82
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...