1071 search results - page 169 / 215 » Using Cell-DEVS for Modeling Complex Cell Spaces |
131
click to vote
CGI
1999
IEEE
15 years 7 months ago
1999
IEEE
Rendering highly complex models can be time and space prohibitive, and decimation is an important tool in providing simplifications. A decimated model may replace the original ent...
125
click to vote
FTCS
1998
15 years 4 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
138
click to vote
DEDS
1998
15 years 2 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
144
click to vote
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
Belief propagation (BP) has become widely used for low-level vision problems and various inference techniques have been proposed for loopy graphs. These methods typically rely on a...
136
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Image patches are fundamental elements for object modeling and recognition. However, there has not been a panoramic study of the structures of the whole ensemble of natural image ...