Search Sciweavers | Sciweavers

4426 search results - page 169 / 886

» Concurrent Constraint Programming

112

click to vote

ENTCS
2008

90views more ENTCS 2008»

Instantaneous Transitions in Esterel

15 years 4 months ago

Download www1.cs.columbia.edu

Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...

Olivier Tardieu, Stephen A. Edwards

claim paper

Read More »

114

click to vote

AIIA
2007
Springer

89views Artificial Intelligence» more AIIA 2007»

Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

15 years 10 months ago

Download www.dis.uniroma1.it

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...

claim paper

Read More »

113

click to vote

CPAIOR
2007
Springer

102views Operations Research» more CPAIOR 2007»

A Constraint Programming Approach to the Hospitals / Residents Problem

15 years 10 months ago

Download www.dcs.gla.ac.uk

David Manlove, Gregg O'Malley, Patrick Prosser, Ch...

claim paper

Read More »

152

click to vote

CSCLP
2007
Springer

113views Artificial Intelligence» more CSCLP 2007»

Preference-Based Problem Solving for Constraint Programming

15 years 10 months ago

Download drops.dagstuhl.de

Abstract. Combinatorial problems such as scheduling, resource allocation, and conﬁguration have many attributes that can be subject of user preferences. Traditional optimization ...

Ulrich Junker

claim paper

Read More »

106

click to vote

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

A constraint logic programming approach to 3D structure determination of large protein complexes

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers