2715 search results - page 177 / 543 » An Implementation of Narrowing Strategies |
181
click to vote
MATES
2005
Springer
16 years 8 days 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...
173
click to vote
FLOPS
2004
Springer
16 years 5 days 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...
139
click to vote
ILP
2004
Springer
16 years 4 days 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...
148
click to vote
ICDAR
2003
IEEE
16 years 2 days 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...
199
click to vote
ICDCS
2003
IEEE
16 years 2 days 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...