2214 search results - page 226 / 443 » Complexity of Reasoning |
130
click to vote
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
150
click to vote
ICARIS
2004
Springer
15 years 9 months ago
2004
Springer
The use of artificial immune systems in intrusion detection is an appealing concept for two reasons. Firstly, the human immune system provides the human body with a high level of ...
108
click to vote
ILP
2004
Springer
15 years 9 months ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
119
click to vote
IWPEC
2004
Springer
15 years 9 months ago
2004
Springer
Based on a series of known and new examples, we propose the generalized setting of “distance from triviality” measurement as a reasonable and prospective way of determining use...
118
click to vote
PCM
2004
Springer
15 years 9 months ago
2004
Springer
The object boundary of an image plays an important role for image analysis and interpretation. The watershed algorithm and the region growing algorithm are popularly employed for i...