193 search results - page 12 / 39 » Dynamical Properties of Answer Set Programs |
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
112
click to vote
NDQA
2003
14 years 11 months ago
2003
Growth in government investment, academic research, and commercial question answering (QA) systems is motivating a need for increased planning and coordination. The internationali...
62
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Given a probability distribution over a set of n words to be transmitted, the Huffman Coding problem is to find a minimal-cost prefix free code for transmitting those words. The b...
105
click to vote
ISMB
1996
14 years 11 months ago
1996
This study demonstratesthe use of decision tree classifiers as the basis for a general gene-finding system. The system uses a dynamic programmingalgorithm that. finds the optimal ...
113
click to vote
CORR
2004
Springer
14 years 10 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...