1684 search results - page 199 / 337 » The lexicographic decision function |
86
Voted
SIGGRAPH
1993
ACM
15 years 4 months ago
1993
ACM
A method is describedfor switching smoothly between rendering algorithms as required by the amount of visible surface detail. The result will be more realism with less computation...
ICML
1990
IEEE
15 years 4 months ago
1990
IEEE
Given an adequate simulation model of the task environment and payoff function that measures the quality of partially successful plans, competition-based heuristics such as geneti...
111
click to vote
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
110
Voted
COMPSYSTECH
2007
15 years 4 months ago
2007
: The paper proposes a different approach to data modeling. Analogous to the rejection method, where the misclassifications are removed and manually evaluated, we focus here on dif...
94
Voted
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a novel evolutionary approach to solve numerical optimization problems, called Adaptive Evolution (AEv). AEv is a new micro-population-like technique because i...