Sciweavers

3365 search results - page 472 / 673
» Multidimensional Data Modeling for Complex Data
Sort
View
HVC
2007
Springer
106views Hardware» more  HVC 2007»
15 years 10 months ago
Exploiting Shared Structure in Software Verification Conditions
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
Domagoj Babic, Alan J. Hu
WSC
2007
15 years 8 months ago
Parallel cross-entropy optimization
The Cross-Entropy (CE) method is a modern and effective optimization method well suited to parallel implementations. There is a vast array of problems today, some of which are hig...
Gareth E. Evans, Jonathan M. Keith, Dirk P. Kroese
CEC
2010
IEEE
15 years 7 months ago
A parallel framework for multi-objective evolutionary optimization
This work focuses on the development of a parallel framework method to improve the effectiveness and the efficiency of the obtained solutions by Multi-objective Evolutionary Algori...
Dipankar Dasgupta, David Camilo Becerra Romero, Al...
169
Voted
SIMPRA
2010
558views more  SIMPRA 2010»
15 years 4 months ago
Species abundance patterns in an ecosystem simulation studied through Fisher's logseries
We have developed an individual-based evolving predator-prey ecosystem simulation that integrates, for the first time, a complex individual behaviour model, an evolutionary mecha...
Didier Devaurs, Robin Gras
ECCV
2002
Springer
16 years 8 months ago
Building Roadmaps of Local Minima of Visual Models
Getting trapped in suboptimal local minima is a perennial problem in model based vision, especially in applications like monocular human body tracking where complex nonlinear para...
Cristian Sminchisescu, Bill Triggs