Sciweavers

1699 search results - page 283 / 340
» On the Expressive Power of QLTL
Sort
View
DMDW
2000
161views Management» more  DMDW 2000»
15 years 7 months ago
View materialization for nested GPSJ queries
View materialization is a central issue in logical design of data warehouses since it is one of the most powerful techniques to improve the response to the workload. Most approach...
Matteo Golfarelli, Stefano Rizzi
PROCOMET
1998
15 years 7 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
IJCAI
1997
15 years 7 months ago
Qualitative Relevance and Independence: A Roadmap
Several qualitative notions of epistemic dependence between propositions are studied. They are closely related to the ordinal notion of conditional possibility. What this paper pr...
Didier Dubois, Luis Fariñas del Cerro, Andr...
WSC
1998
15 years 7 months ago
SEAMS: Simulation Environment for VHDL-AMS
VHDL-AMS is an Analog and Mixed-Signal extension to the Very High Speed Integrated Circuit Hardware Description Language (VHDL). With the standardization of VHDL-AMS, capable and ...
Peter Frey, Kathiresan Nellayappan, Vasudevan Sahn...
IJCAI
1997
15 years 7 months ago
On the Role of Hierarchy for Neural Network Interpretation
In this paper, we concentrate on the expressive power of hierarchical structures in neural networks. Recently, the so-called SplitNet model was introduced. It develops a dynamic n...
Jürgen Rahmel, Christian Blum, Peter Hahn