7991 search results - page 616 / 1599 » Using More Reasoning to Improve |
202
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
189
Voted
CPAIOR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In scheduling using constraint programming we usually reason only about possible start times and end times of activities and remove those which are recognized as unfeasib...
181
click to vote
COR
2008
15 years 7 months ago
2008
The Swath Segment Selection Problem (SSSP) is an NP-hard combinatorial optimization problem arising in the context of planning and scheduling satellite operations. It was defined ...
166
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We report on work in progress on extracting lexical simplifications (e.g., "collaborate" "work together"), focusing on utilizing edit histories in Simple Engli...
167
click to vote
CPHYSICS
2008
15 years 7 months ago
2008
We examine parallel algorithms for molecular dynamics simulations involving long-range induction interactions. The algorithms are tested by performing molecular dynamics simulatio...