3693 search results - page 329 / 739 » Splitting a Logic Program |
135
click to vote
ICSM
1998
IEEE
15 years 9 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
164
click to vote
AAAI
2007
15 years 7 months ago
2007
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...
127
click to vote
ACL
2004
15 years 6 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
186
click to vote
ICDAR
2005
IEEE
15 years 10 months ago
2005
IEEE
Handwritten text lines are prominent structures in freeform digital ink notes and their reliable detection is the foundation to a natural and intelligent interface for note editin...
159
Voted
CPAIOR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...