Search Sciweavers | Sciweavers

4192 search results - page 72 / 839

» Probabilistic Logic Programming

click to vote

ICDE
2008
IEEE

161views Database» more ICDE 2008»

On the semantics and evaluation of top-k queries in probabilistic databases

14 years 4 months ago

Download www.cse.buffalo.edu

We formulate three intuitive semantic properties for topk queries in probabilistic databases, and propose GlobalTopk query semantics which satisﬁes all of them. We provide a dyn...

Xi Zhang, Jan Chomicki

claim paper

Read More »

click to vote

GLVLSI
2005
IEEE

103views VLSI» more GLVLSI 2005»

Causal probabilistic input dependency learning for switching model in VLSI circuits

14 years 3 months ago

Download www.eng.usf.edu

Switching model captures the data-driven uncertainty in logic circuits in a comprehensive probabilistic framework. Switching is a critical factor that inﬂuences dynamic, active ...

Nirmal Ramalingam, Sanjukta Bhanja

claim paper

Read More »

click to vote

FSTTCS
2006
Springer

108views Software Engineering» more FSTTCS 2006»

On Reduction Criteria for Probabilistic Reward Models

14 years 1 months ago

Download qav.comlab.ox.ac.uk

In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...

Marcus Größer, Gethin Norman, Christel ...

claim paper

Read More »

click to vote

AGP
2003
IEEE

125views Artificial Intelligence» more AGP 2003»

Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva

14 years 3 months ago

Download people.kmi.open.ac.uk

Stefania Galizia

claim paper

Read More »