1972 search results - page 323 / 395 » Evolutionary algorithms and dynamic programming |
192
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
186
click to vote
PLDI
2000
ACM
15 years 9 months ago
2000
ACM
Increasing focus on multimedia applications has prompted the addition of multimedia extensions to most existing general purpose microprocessors. This added functionality comes pri...
134
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
The automatic construction of classi ers programs able to correctly classify data collected from the real world is one of the major problems in pattern recognition and in a wide ar...
212
click to vote
IPCO
2010
15 years 6 months ago
2010
We introduce the framework of polyhedral branching systems that can be used in order to construct extended formulations for polyhedra by combining extended formulations for other p...
134
click to vote
PDCN
2007
15 years 6 months ago
2007
This paper describes the design and evaluation of an auto-memoization processor. The major point of this proposal is to detect the multilevel functions and loops with no additiona...