716 search results - page 70 / 144 » Modelling Bounded Rationality Using Evolutionary Techniques |
127
Voted
AIEDAM
2008
15 years 2 months ago
2008
Although it is known that quantum computers can solve certain computational problems exponentially faster than classical computers, only a small number of quantum algorithms have ...
94
Voted
ICML
2003
IEEE
16 years 3 months ago
2003
IEEE
We present a new type of multi-class learning algorithm called a linear-max algorithm. Linearmax algorithms learn with a special type of attribute called a sub-expert. A sub-exper...
106
click to vote
SODA
2001
ACM
15 years 4 months ago
2001
ACM
Fast-converging methods for reconstructing phylogenetic trees require that the sequences characterizing the taxa be of only polynomial length, a major asset in practice, since rea...
143
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
124
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...