Sciweavers

1188 search results - page 35 / 238

» Arithmetic Fuzzy Models

59

HYBRID
2004
Springer

94views Control Systems» more HYBRID 2004»

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

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

71

VTS
2000
IEEE

83views Hardware» more VTS 2000»

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

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

31

Voted

DAGSTUHL
2003

97views Software Engineering» more DAGSTUHL 2003»

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

14 years 11 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 »

56

MLQ
2002

59views more MLQ 2002»

Weak Arithmetics and Kripke Models

14 years 9 months ago

Weak Arithmetics and Kripke Models

Download math.ipm.ac.ir

Morteza Moniri

claim paper

Read More »

77

Voted

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

14 years 8 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 »