1329 search results - page 45 / 266 » Constraint-based model synthesis |
190
click to vote
SCN
2011
Springer
14 years 11 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
127
click to vote
ICAD
2004
15 years 5 months ago
2004
The human ability to recognize, identify and compare sounds based on their approximation of particular vowels provides an intuitive, easily learned representation for complex data...
112
Voted
TOG
2008
15 years 3 months ago
2008
We present a novel method for procedurally modeling large complex shapes. Our approach is general-purpose and takes as input any 3D polyhedral model provided by a user. The algori...
109
click to vote
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
In this paper we consider the problem of temporal texture modeling and synthesis. A temporal texture (or dynamic texture) is seen as the output of a dynamical system driven by whit...
141
click to vote
ICMLC
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present a new method, time-striding hidden Markov model (TSHMM), to learn from long-term motion for atomic behaviors and the statistical dependencies among them. T...