Sciweavers

1081 search results - page 81 / 217
» Working with the LR Degrees
Sort
View
DCG
1999
58views more  DCG 1999»
15 years 6 months ago
Nonexistence of Certain Spherical Designs of Odd Strengths and Cardinalities
A spherical -design on Sn-1 is a finite set such that, for all polynomials f of degree at most , the average of f over the set is equal to the average of f over the sphere Sn-1 . ...
Peter Boyvalenkov, Danyo Danev, Svetla Nikova
RE
2002
Springer
15 years 6 months ago
Effective Communication in Requirements Elicitation: A Comparison of Methodologies
The elicitation or communication of user requirements comprises an early and critical but highly error-prone stage in system development. Socially-oriented methodologies provide m...
Jane Coughlan, Robert D. Macredie
TASLP
2002
142views more  TASLP 2002»
15 years 6 months ago
Geometric source separation: merging convolutive source separation with geometric beamforming
Convolutive blind source separation and adaptive beamforming have a similar goal--extracting a source of interest (or multiple sources) while reducing undesired interferences. A be...
Lucas C. Parra, Christopher V. Alvino
LPAR
2010
Springer
15 years 4 months ago
Polite Theories Revisited
The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this...
Dejan Jovanovic, Clark Barrett
OTM
2010
Springer
15 years 4 months ago
Fadip: Lightweight Publish/Subscribe for Mobile Ad Hoc Networks
Publish/Subscribe is an interesting communication paradigm because it fosters a high degree of decoupling between the communicating parties and provides the ability to communicate ...
Koosha Paridel, Yves Vanrompay, Yolande Berbers