64 search results - page 5 / 13 » Numeric Reasoning with Relative Orders of Magnitude |
COSIT
2003
Springer
14 years 29 days ago
2003
Springer
The scope of this paper is a qualitative description of terrain features that can be characterized using the silhouette of a terrain. The silhouette is a profile of a landform seen...
DSD
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
DLOG
2011
12 years 11 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
ICDE
2001
IEEE
14 years 9 months ago
2001
IEEE
The management of product-related data in a uniform and consistent way is a big challenge for many manufacturing enterprises, especially the large ones like DaimlerChrysler. So-ca...
HASKELL
2006
ACM
14 years 1 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...