Sciweavers

1181 search results - page 4 / 237

» constraints 2004

31

CSCLP
2004
Springer

97views Artificial Intelligence» more CSCLP 2004»

Computing Equilibria Using Interval Constraints

14 years 2 months ago

Computing Equilibria Using Interval Constraints

Download liawww.epfl.ch

Lucas Bordeaux, Brice Pajot

claim paper

Read More »

21

ECAI
2004
Springer

108views Artificial Intelligence» more ECAI 2004»

Diagnosis as Semiring-Based Constraint Optimization

14 years 2 months ago

Diagnosis as Semiring-Based Constraint Optimization

Download www.laas.fr

Martin Sachenbacher, Brian C. Williams

claim paper

Read More »

20

FOSSACS
2004
Springer

84views Software Engineering» more FOSSACS 2004»

LTL over Integer Periodicity Constraints: (Extended Abstract)

14 years 2 months ago

LTL over Integer Periodicity Constraints: (Extended Abstract)

Download www.lsv.ens-cachan.fr

Stéphane Demri

claim paper

Read More »

24

HYBRID
2004
Springer

94views Control Systems» more HYBRID 2004»

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

14 years 2 months ago

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

Download www.cs.brandeis.edu

Timothy J. Hickey, David K. Wittenberg

claim paper

Read More »

23

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

14 years 1 months ago

Verifying Linear Duration Constraints of Timed Automata

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

« Prev « First page 4 / 237 Last » Next »