1188 search results - page 195 / 238 » Arithmetic Fuzzy Models |
137
click to vote
ITC
2003
IEEE
15 years 8 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
156
Voted
COMPGEOM
2001
ACM
15 years 7 months ago
2001
ACM
: Many geometric problems like generalized Voronoi diagrams, medial axis computations and boundary evaluation involve computation and manipulation of non-linear algebraic primitive...
139
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
In this paper we discuss reliable methods in the field of finite precision geometry. We begin with a brief survey of geometric computing and approaches generally used in dealing ...
124
Voted
ENTCS
2008
15 years 3 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
113
Voted
IJHPCA
2007
15 years 3 months ago
2007
An accurate cost-model that accounts for dataset size and structure can help optimize geoscience data analysis. We develop and apply a computational model to estimate data analysi...