Sciweavers

428 search results - page 17 / 86
» Completeness of a Fact Extractor
Sort
View
DOLAP
1998
ACM
15 years 1 months ago
Methodological Framework for Data Warehouse Design
Though designing a data warehouse requires techniques completely different from those adopted for operational systems, no significant effort has been made so far to develop a comp...
Matteo Golfarelli, Stefano Rizzi
ITC
1997
IEEE
60views Hardware» more  ITC 1997»
15 years 1 months ago
Using BIST Control for Pattern Generation
A deterministic BIST scheme is presented which requires less hardware overhead than pseudo-random BIST but obtains better or even complete fault coverage at the same time. It take...
Gundolf Kiefer, Hans-Joachim Wunderlich
JAIR
2008
92views more  JAIR 2008»
14 years 9 months ago
On the Expressiveness of Levesque's Normal Form
Levesque proposed a generalization of a database called a proper knowledge base (KB), which is equivalent to a possibly infinite consistent set of ground literals. In contrast to ...
Yongmei Liu, Gerhard Lakemeyer
JSYML
2007
58views more  JSYML 2007»
14 years 9 months ago
Bounding homogeneous models
A Turing degree d is homogeneous bounding if every complete decidable (CD) theory has a d-decidable homogeneous model A, i.e., the elementary diagram De (A) has degree d. It follo...
Barbara F. Csima, Valentina S. Harizanov, Denis R....
58
Voted
TVCG
2010
174views more  TVCG 2010»
14 years 7 months ago
Subdivision Analysis of the Trilinear Interpolant
— Isosurfaces are fundamental volumetric visualization tools, and are generated by the well-known Marching Cubes cases that approximate contours of trilinearly-interpolated scala...
Hamish Carr, Nelson Max