240 search results - page 11 / 48 » Constrained Partial Deduction |
PRICAI
2004
Springer
14 years 27 days ago
2004
Springer
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...
ICTL
1994
13 years 11 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
AAAI
1994
13 years 8 months ago
1994
A possible worlds semantics for model-based spatial reasoning is presented. In this semantics, worlds are characterized by the alternative states that result from indeterminacy or...
ISBI
2007
IEEE
14 years 1 months ago
2007
IEEE
We present an adaptation of our previous fast, regularized parallel MRI reconstruction approach (LSQR-Hybrid) to encompass the reconstruction of partial-Fourier data. Reconstructi...