Sciweavers

8768 search results - page 272 / 1754
» Generalizing the notion of support
Sort
View
DEBU
2010
134views more  DEBU 2010»
15 years 4 months ago
Causality in Databases
Provenance is often used to validate data, by verifying its origin and explaining its derivation. When searching for "causes" of tuples in the query results or in genera...
Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. ...
CORR
2011
Springer
170views Education» more  CORR 2011»
15 years 2 months ago
Exact observability, square functions and spectral theory
Abstract. In the first part of this article we introduce the notion of a backwardforward conditioning (BFC) system that generalises the notion of zero-class admissibiliy introduce...
Bernhard Hermann Haak, El-Maati Ouhabaz
SAC
2010
ACM
15 years 2 months ago
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
Tuan Minh Pham
TSP
2010
15 years 2 months ago
Algebraic signal processing theory: sampling for infinite and finite 1-D space
We derive a signal processing framework, called space signal processing, that parallels time signal processing. As such, it comes in four versions (continuous/discrete, infinite/fi...
Jelena Kovacevic, Markus Püschel
DANTE
1999
IEEE
107views Database» more  DANTE 1999»
15 years 11 months ago
Analysis of Virtual Workspaces
While traditional workflow management systems have proven useful in supporting well-defined organizational processes, they are less suitable for the support of less welldefined, e...
Robert P. Biuk-Aghai, Igor Hawryszkiewycz