Search Sciweavers | Sciweavers

1242 search results - page 27 / 249

» The Theory of Grammar Constraints

click to vote

JCSS
2008

107views more JCSS 2008»

A unified theory of structural tractability for constraint satisfaction problems

13 years 7 months ago

Download www.comlab.ox.ac.uk

In this paper we derive a generic form of structural decomposition for the constraint satisfaction problem, which we call a guarded decomposition. We show that many existing decom...

David A. Cohen, Peter Jeavons, Marc Gyssens

claim paper

Read More »

click to vote

CP
1998
Springer

81views Artificial Intelligence» more CP 1998»

Random Constraint Satisfaction: Theory Meets Practice

13 years 11 months ago

Download www.cs.sfu.ca

Abstract. We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble ...

Ewan MacIntyre, Patrick Prosser, Barbara M. Smith,...

claim paper

Read More »

click to vote

INFORMATIKTAGE
2008

154views Information Technology» more INFORMATIKTAGE 2008»

Constraint Based Transformation Theory

13 years 8 months ago

Download www.cse.dmu.ac.uk

During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have to be updated and restructured continuously [22]. I...

Stefan Natelberg

claim paper

Read More »

click to vote

ICRA
2003
IEEE

91views Robotics» more ICRA 2003»

Spatial motion constraints: theory and demonstrations for robot guidance using virtual fixtures

14 years 20 days ago