Search Sciweavers | Sciweavers

861 search results - page 1 / 173

» A General Framework for Knowledge Compilation

click to vote

PDK
1991

242views Knowledge Management» more PDK 1991»

A General Framework for Knowledge Compilation

14 years 2 months ago

Download www.cs.cornell.edu

Henry A. Kautz, Bart Selman

claim paper

Read More »

click to vote

TABLEAUX
2009
Springer

211views Artificial Intelligence» more TABLEAUX 2009»

Tableaux for Projection Computation and Knowledge Compilation

14 years 3 months ago

Download cs.christophwernhard.com

Projection computation is a generalization of second-order quantiﬁer elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...

Christoph Wernhard

claim paper

Read More »

click to vote

IJCAI
1989

111views Artificial Intelligence» more IJCAI 1989»

Towards a General Framework for Composing Disjunctive and Iterative Macro-operators

14 years 10 days ago

Download dli.iiit.ac.in

Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...

Peter Shell, Jaime G. Carbonell

claim paper

Read More »

click to vote

CGO
2005
IEEE

145views Software Engineering» more CGO 2005»

A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Motion

14 years 4 months ago

Download www-users.cs.umn.edu

Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...

Xiaoru Dai, Antonia Zhai, Wei-Chung Hsu, Pen-Chung...

claim paper

Read More »

click to vote

OOPSLA
2004
Springer

109views Security Privacy» more OOPSLA 2004»

Towards a framework for the general intensional programming compiler in the GIPSY

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers