Sciweavers

385 search results - page 5 / 77

» constraints 1999

20

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

13 years 11 months ago

Optimizing Symbolic Model Checking for Constraint-Rich Models

Download www.cs.cmu.edu

Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...

claim paper

Read More »

20

ALGORITHMICA
1999

65views more ALGORITHMICA 1999»

Solving Systems of Difference Constraints Incrementally

13 years 7 months ago

Solving Systems of Difference Constraints Incrementally

Download nclab.kaist.ac.kr

G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymon...

claim paper

Read More »

8

COMBINATORICS
1999

57views more COMBINATORICS 1999»

Zero Capacity Region of Multidimensional Run Length Constraints

13 years 7 months ago

Zero Capacity Region of Multidimensional Run Length Constraints

Download code.ucsd.edu

Hisashi Ito, Akiko Kato, Zsigmond Nagy, Kenneth Ze...

claim paper

Read More »

26

CONSTRAINTS
1999

105views more CONSTRAINTS 1999»

Algorithmic Power from Declarative Use of Redundant Constraints

13 years 7 months ago

Algorithmic Power from Declarative Use of Redundant Constraints

Download webhome.cs.uvic.ca

Interval constraints can be used to solve problems in numerical analysis. In this paper we show that one can improve the performance of such an interval constraint program by the ...

Maarten H. van Emden

claim paper

Read More »

53

ICDE
1999
IEEE

116views Database» more ICDE 1999»

Constraint-Based Rule Mining in Large, Dense Databases

14 years 9 months ago

Constraint-Based Rule Mining in Large, Dense Databases

Download rakesh.agrawal-family.com

Roberto J. Bayardo Jr., Rakesh Agrawal, Dimitrios ...

claim paper

Read More »

« Prev « First page 5 / 77 Last » Next »