3303 search results - page 338 / 661 » Multidimensional Access Methods |
190
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In Constructive Type Theory, recursive and corecursive definitions are subject to syntactic restrictions which guarantee termination for recursive functions and productivity for c...
181
click to vote
JSW
2007
15 years 6 months ago
2007
— The paper addresses software and firmware implementation of multiple-output Boolean functions based on cascades of Look-Up Tables (LUTs). A LUT cascade is described as a means ...
165
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
We describe a compression scheme for the geometry component of 3D animation sequences. This scheme is based on the principle component analysis (PCA) method, which represents the ...
209
click to vote
JIB
2010
15 years 5 months ago
2010
s text mining techniques over Medline abstracts as a method for accessing both these bodies of evidence in a consistent way. In an example use case, we apply our method to create a...
183
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...