15754 search results - page 827 / 3151 » Programs are Knowledge Bases |
192
click to vote
EMMCVPR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...
180
click to vote
EMO
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Evolutionary algorithms have been quite effective in dealing with single-objective “optimization” while the area of Evolutionary Multiobjective Optimization (EMOO) h...
185
click to vote
SAS
2005
Springer
16 years 1 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
216
click to vote
GECCO
2004
Springer
16 years 1 months ago
2004
Springer
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees....
250
click to vote
CASES
2003
ACM
16 years 27 days ago
2003
ACM
Programming multi-processor ASIPs, such as network processors, remains an art due to the wide variety of architectures and due to little support for exploring different implement...