8828 search results - page 1482 / 1766 » Formal methods in practice |
162
click to vote
VRCAI
2006
ACM
16 years 21 days ago
2006
ACM
We present novel algorithms for updating bounding volume hierarchies of objects undergoing arbitrary deformations. Therefore, we introduce two new data structures, the kinetic AAB...
197
Voted
CVPR
2010
IEEE
16 years 12 days ago
2010
IEEE
Automatic categorization of videos in a Web-scale unconstrained collection such as YouTube is a challenging task. A key issue is how to build an effective training set in the pres...
149
click to vote
AVSS
2005
IEEE
16 years 11 days ago
2005
IEEE
In video surveillance projects, automatic and realtime event detection solutions are required to guarantee an efficient and cost-effective use of the infrastructure. Many solution...
148
click to vote
CEC
2005
IEEE
16 years 11 days ago
2005
IEEE
Evolutionary Algorithms (EAs) are effective and robust methods for solving many practical problems such as feature selection, electrical circuits synthesis, and data mining. Howeve...
128
click to vote
CEC
2005
IEEE
16 years 11 days ago
2005
IEEE
—A principal challenge in modern computational finance is efficient portfolio design – portfolio optimization followed by decision-making. Optimization based on even the widely...