Sciweavers

3544 search results - page 457 / 709
» Rethinking the Presentation of Results from Web Search
Sort
View
ICCV
2003
IEEE
16 years 8 months ago
Globally Convergent Autocalibration
Existing autocalibration techniques use numerical optimization algorithms that are prone to the problem of local minima. To address this problem, we have developed a method where ...
Arrigo Benedetti, Alessandro Busti, Michela Farenz...
DAC
2001
ACM
16 years 7 months ago
Circuit-based Boolean Reasoning
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi
PKDD
2007
Springer
107views Data Mining» more  PKDD 2007»
16 years 21 days ago
An Empirical Comparison of Exact Nearest Neighbour Algorithms
Nearest neighbour search (NNS) is an old problem that is of practical importance in a number of fields. It involves finding, for a given point q, called the query, one or more po...
Ashraf M. Kibriya, Eibe Frank
GECCO
2005
Springer
145views Optimization» more  GECCO 2005»
16 years 3 days ago
Three dimensional evolutionary aerodynamic design optimization with CMA-ES
In this paper, we present the application of evolutionary optimization methods to a demanding, industrially relevant engineering domain, the three-dimensional optimization of gas ...
Martina Hasenjäger, Bernhard Sendhoff, Toyota...
APN
2003
Springer
15 years 12 months ago
Deciding Life-Cycle Inheritance on Petri Nets
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...
H. M. W. (Eric) Verbeek, Twan Basten