334 search results - page 44 / 67 » A parametric analysis of the state-explosion problem in mode... |
105
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Parametric models of shape and texture such as Active Appearance Models (AAMs) are diverse tools for deformable object appearance modeling and have found important applications in...
103
click to vote
CORR
2006
Springer
15 years 25 days ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
101
Voted
LREC
2010
15 years 2 months ago
2010
This paper deals with the problem of finding sign occurrences in a sign language (SL) video. It begins with an analysis of sign models and the way they can take into account the s...
136
Voted
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
114
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...