648 search results - page 41 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
117
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
Background: Accurate estimation of statistical significance of a pairwise alignment is an important problem in sequence comparison. Recently, a comparative study of pairwise stati...
100
click to vote
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
We propose an Integer Programming (IP) framework to undertake the dedicated photolithography machine constraint in semiconductor manufacturing. The constraint is one of the new ch...
100
click to vote
ISORC
2007
IEEE
15 years 7 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
113
click to vote
ACL
2009
14 years 11 months ago
2009
In this paper, we analyze the impact of different automatic annotation methods on the performance of supervised approaches to the complex question answering problem (defined in th...
119
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...