5203 search results - page 912 / 1041 » An approach to workflow modeling and analysis |
204
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Given an object model and a black-box measure of similarity between the model and candidate targets, we consider visual object tracking as a numerical optimization problem. During...
195
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Most face recognition systems only work well under quite constrained environments. In particular, the illumination conditions, facial expressions and head pose must be tightly con...
177
click to vote
ALT
2005
Springer
16 years 3 months ago
2005
Springer
In language learning, strong relationships between Gold-style models and query models have recently been observed: in some quite general setting Gold-style learners can be replaced...
114
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Most existing buffering algorithms neglect the impact of inductance on circuit performance, which causes large error in circuit analysis and optimization. Even for the approaches...
178
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...