Search Sciweavers | Sciweavers

24

AIPS
2006

140views Artificial Intelligence» more AIPS 2006»

Towards Strong Cyclic Planning under Partial Observability

13 years 8 months ago

Strong Cyclic Planning aims at generating iterative plans that only allow loops so far as there is a chance to reach the goal. The problem is already significantly complex for ful...

Piergiorgio Bertoli, Alessandro Cimatti, Marco Pis...

claim paper

Read More »

24

click to vote

LOPSTR
1992
Springer

158views Automated Reasoning» more LOPSTR 1992»

Logimix: A Self-Applicable Partial Evaluator for Prolog

13 years 11 months ago

Download repository.readscheme.org

We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...

Torben Æ. Mogensen, Anders Bondorf

claim paper

Read More »

34

click to vote

IFL
2007
Springer

221views Formal Methods» more IFL 2007»

From Contracts Towards Dependent Types: Proofs by Partial Evaluation

14 years 1 months ago

Download staff.science.uva.nl

Abstract. The speciﬁcation and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...

Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...

claim paper

Read More »

19

click to vote

INFOCOM
2008
IEEE

124views Communications» more INFOCOM 2008»

Towards Optimal Resource Allocation in Partial-Fault Tolerant Applications

14 years 1 months ago

Download userweb.cs.utexas.edu

—We introduce Zen, a new resource allocation framework that assigns application components to node clusters to achieve high availability for partial-fault tolerant (PFT) applicat...

Nikhil Bansal, Ranjita Bhagwan, Navendu Jain, Yoon...

claim paper

Read More »

18

click to vote

ECCV
2002
Springer

121views Computer Vision» more ECCV 2002»

Towards Real-Time Cue Integration by Using Partial Results

14 years 9 months ago