Sciweavers

1963 search results - page 285 / 393
» Function Materialization in Object Bases
Sort
View
CEC
2008
IEEE
15 years 7 months ago
High-level synthesis with multi-objective genetic algorithm: A comparative encoding analysis
— The high-level synthesis process involves three interdependent and NP-complete optimization problems: (i) the operation scheduling, (ii) the resource allocation, and (iii) the ...
Christian Pilato, Daniele Loiacono, Fabrizio Ferra...
SEFM
2006
IEEE
15 years 6 months ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani
85
Voted
ICCV
2005
IEEE
15 years 6 months ago
Integrating the Effects of Motion, Illumination and Structure in Video Sequences
Most work in computer vision has concentrated on studying the individual effects of motion and illumination on a 3D object. In this paper, we present a theory for combining the ef...
Yilei Xu, Amit K. Roy Chowdhury
140
Voted
ICRA
2005
IEEE
150views Robotics» more  ICRA 2005»
15 years 6 months ago
An Integrated Spatial Path-planning and Controller Design Approach for a Hover-mode Helicopter Model
— The objective of this paper is to design a controller based on a nonlinear hover-mode model for a helicopter, which can be seamlessly integrated in an existing spatial path-pla...
Kaustubh Pathak, Sunil Kumar Agrawal
EMO
2005
Springer
126views Optimization» more  EMO 2005»
15 years 6 months ago
The Evolution of Optimality: De Novo Programming
Abstract. Evolutionary algorithms have been quite effective in dealing with single-objective “optimization” while the area of Evolutionary Multiobjective Optimization (EMOO) h...
Milan Zeleny