7682 search results - page 1448 / 1537 » Active Appearance Models |
150
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
134
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
It is vital to use accurate models for the analysis, design, and/or control of business processes. Unfortunately, there are often important discrepancies between reality and models...
154
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
136
click to vote
SOUPS
2009
ACM
15 years 10 months ago
2009
ACM
Online social network sites, such as MySpace, Facebook and others have grown rapidly, with hundreds of millions of active users. A new feature on many sites is social applications...
177
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Planetary exploration systems, operating under severe environmental and operating conditions, have thus far successfully employed carefully calibrated stereo cameras and manipu...