Search Sciweavers | Sciweavers

1353 search results - page 6 / 271

» Streamlined Constraint Reasoning

click to vote

ICDE
1991
IEEE

175views Database» more ICDE 1991»

Constraint-Based Reasoning in Deductive Databases

13 years 11 months ago

Download www.cs.uiuc.edu

— Constraints play an important role in the efﬁcient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...

Jiawei Han

claim paper

Read More »

click to vote

CP
2003
Springer

76views Artificial Intelligence» more CP 2003»

Using Case-Based Reasoning to Write Constraint Programs

14 years 27 days ago

Download 4c.ucc.ie

Abstract. Constraint programming oﬀers powerful problem solving capabilities, but experienced and skilled developers are needed to maximise the beneﬁts it oﬀers. We introduce...

James Little, Cormac Gebruers, Derek G. Bridge, Eu...

claim paper

Read More »

click to vote

CASSIS
2004
Springer

121views Human Computer Interaction» more CASSIS 2004»

Mobile Resource Guarantees for Smart Devices

14 years 1 months ago

Download homepages.inf.ed.ac.uk

We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certiﬁcates are attached...

David Aspinall, Stephen Gilmore, Martin Hofmann, D...

claim paper

Read More »

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

14 years 1 months ago