3470 search results - page 278 / 694 » Head-Elementary-Set-Free Logic Programs |
207
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...
173
click to vote
CLEF
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
308
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
177
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
170
click to vote
SYNASC
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper we apply integer programming (IP) based techniques to the problem of delay balancing in wave-pipelined circuits. The proposed approach considers delays, as well as f...