Sciweavers

11397 search results - page 266 / 2280
» A Relational Abstraction for Functions
Sort
View
ICDE
2009
IEEE
125views Database» more  ICDE 2009»
15 years 5 months ago
Metric Functional Dependencies
When merging data from various sources, it is often the case that small variations in data format and interpretation cause traditional functional dependencies (FDs) to be violated,...
Nick Koudas, Avishek Saha, Divesh Srivastava, Sure...
ICFP
2004
ACM
16 years 7 months ago
Multi-return function call
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
Olin Shivers, David Fisher
ICASSP
2009
IEEE
16 years 2 months ago
Multichannel speech enhancement using convolutive transfer function approximation in reverberant environments
Recently, we have presented a transfer-function generalized sidelobe canceler (TF-GSC) beamformer in the short time Fourier transform domain, which relies on a convolutive transfe...
Ronen Talmon, Israel Cohen, Sharon Gannot
SEAA
2008
IEEE
16 years 1 months ago
A Meta-model for the Assessment of Non-Functional Requirement Size
Non-functional requirements (NFRs) pose unique challenges in estimating the effort it would take to implement them. This is mainly because of their unique nature; NFRs are subject...
Mohamad Kassab, Maya Daneva, Olga Ormandjieva
CADE
2004
Springer
16 years 20 days ago
Modular Proof Systems for Partial Functions with Weak Equality
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
Harald Ganzinger, Viorica Sofronie-Stokkermans, Uw...