22588 search results - page 4301 / 4518 » On simulation model complexity |
239
click to vote
ZUM
1997
Springer
15 years 11 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
202
Voted
SIGGRAPH
1993
ACM
15 years 11 months ago
1993
ACM
An ideal visibility algorithm should a) quickly reject most of the hidden geometry in a model and b) exploit the spatial and perhaps temporal coherence of the images being generat...
220
click to vote
VISUALIZATION
1992
IEEE
15 years 11 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
238
click to vote
AMFG
2007
IEEE
15 years 11 months ago
2007
IEEE
A key problem for "face in the crowd" recognition from existing surveillance cameras in public spaces (such as mass transit centres) is the issue of pose mismatches betwe...
201
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...