Sciweavers

1188 search results - page 35 / 238

» Arithmetic Fuzzy Models

67

HYBRID
2004
Springer

94views Control Systems» more HYBRID 2004»

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

15 years 5 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 »

83

VTS
2000
IEEE

83views Hardware» more VTS 2000»

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

15 years 3 months ago

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

Download www.iml.ece.mcgill.ca

Katarzyna Radecka, Zeljko Zilic

claim paper

Read More »

36

DAGSTUHL
2003

97views Software Engineering» more DAGSTUHL 2003»

Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic

15 years 1 months ago

Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic

Download bt.pa.msu.edu

George F. Corliss, Jun Yu

claim paper

Read More »

65

MLQ
2002

59views more MLQ 2002»

Weak Arithmetics and Kripke Models

14 years 11 months ago

Weak Arithmetics and Kripke Models

Download math.ipm.ac.ir

Morteza Moniri

claim paper

Read More »

85

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

14 years 10 months ago

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

Download www.cs.sfu.ca

Shahab Tasharrofi, Eugenia Ternovska

claim paper

Read More »

« Prev « First page 35 / 238 Last » Next »