2024 search results - page 156 / 405 » The Meaning of Ordered SOS |
161
click to vote
VMV
2001
15 years 8 months ago
2001
The construction of photo-realistic virtual worlds is at reach of current computer graphics. Unfortunately, the philosophy currently adopted for the diffusion of virtual worlds ov...
178
click to vote
ISICT
2003
15 years 8 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
165
click to vote
WSC
2001
15 years 8 months ago
2001
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
148
click to vote
AAAI
1998
15 years 8 months ago
1998
Unpredictability in the running time of complete search procedures can often be explained by the phenomenon of "heavy-tailed cost distributions", meaning that at any tim...
175
click to vote
BMVC
1998
15 years 8 months ago
1998
The classification of sets of mixed pixels can be accomplished by making use of the relationship of higher order moments of the distributions of the pure and mixed classes. As a c...