4854 search results - page 117 / 971 » It's the Programming, Stupid |
158
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, a novel genetically-inspired visual learning method is proposed. Given the training images, this general approach induces a sophisticated feature-based recognition s...
139
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...
157
Voted
LPNMR
1999
Springer
15 years 10 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
181
Voted
EPIA
1997
Springer
15 years 10 months ago
1997
Springer
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
164
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We show that termination of a simple class of linear loops over the integers is decidable. Namely we show that termination of deterministic linear loops is decidable over the integ...