867 search results - page 125 / 174 » An Evolutionary Algorithm for Integer Programming |
252
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
Decision tree induction techniques attempt to find small trees that fit a training set of data. This preference for smaller trees, which provides a learning bias, is often justifie...
103
click to vote
IEEEARES
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
168
click to vote
TOPLAS
2008
15 years 2 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
119
click to vote
ACRI
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a research in the context of pedestrian dynamics according to Situated Cellular Agent (SCA), a Multi-Agent Systems approach whose roots are on Cellular Automata...
124
Voted
ECML
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to semantically annotated resources in the context of ontological knowledge bases. This method can be used to discov...