Sciweavers

1081 search results - page 81 / 217
» Working with the LR Degrees
Sort
View
DCG
1999
58views more  DCG 1999»
15 years 19 days 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 18 days 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 18 days 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
14 years 11 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
14 years 11 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