3238 search results - page 195 / 648 » Multi-return function call |
179
click to vote
ECML
2007
Springer
16 years 14 days ago
2007
Springer
Conventional classification learning allows a classifier to make a one shot decision in order to identify the correct label. However, in many practical applications, the problem ...
163
click to vote
ESOP
2007
Springer
16 years 14 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
133
Voted
FORMATS
2007
Springer
16 years 14 days ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
162
click to vote
FSTTCS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
147
click to vote
GECCO
2007
Springer
16 years 14 days ago
2007
Springer
We propose a protocol for a local search and a genetic algorithm for the distributed traveling salesman problem (TSP). In the distributed TSP, information regarding the cost funct...