77016 search results - page 680 / 15404 » Modelling |
179
click to vote
SMA
2009
ACM
16 years 1 months ago
2009
ACM
We present a new parallel algorithm for interactive and continuous collision detection between deformable models. Our algorithm performs incremental hierarchical computations betw...
191
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
189
click to vote
ACSC
2008
IEEE
16 years 1 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
233
click to vote
AVSS
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a video event analysis framework based on object segmentation and tracking, combined with a Hidden Semi-Markov Model (HSMM) that uses state occupancy duration modeling....
186
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...