2715 search results - page 177 / 543 » An Implementation of Narrowing Strategies |
163
click to vote
MATES
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...
158
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
131
click to vote
ILP
2004
Springer
15 years 11 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...
140
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a system being developed to recognize date information handwritten on Canadian bank cheques. A segmentation based strategy is adopted in this system. In order...
182
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
Dynamic module replacement — the ability to hot swap a component’s implementation at runtime — is fundamental to supporting evolutionary change in long-lived and highlyavail...