Sciweavers

310 search results - page 13 / 62
» Extended grey numbers and their operations
Sort
View
DLOG
2003
13 years 8 months ago
Index Selection for Embedded Control Applications using Description Logics
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
Lubomir Stanchev, Grant E. Weddell
COLING
1996
13 years 8 months ago
Parallel Replacement in Finite State Calculus
This paper extends the calculus of regular expressions with new types of replacement expressions that enhance the expressiveness of the simple replace operator defined in Karttune...
André Kempe, Lauri Karttunen
DAGSTUHL
2006
13 years 8 months ago
A Proposal to add Interval Arithmetic to the C++ Standard Library
Proposed text to specify an interval class in the C++ standard library, with justification and background. Contents I Motivation and Scope 3 II Foundations 3 IIIImpact on the Stan...
Sylvain Pion, Hervé Brönnimann, Guilla...
VIIP
2001
13 years 8 months ago
Using Graphics Cards for Quantized FEM Computations
Graphics cards exercise increasingly more computing power and are highly optimized for high data transfer volumes. In contrast typical workstations perform badly when data exceeds...
Martin Rumpf, Robert Strzodka
CIE
2009
Springer
14 years 1 months ago
First-Order Universality for Real Programs
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
Thomas Anberrée