Sciweavers

732 search results - page 115 / 147
» corr 2011
Sort
View
CORR
2011
Springer
148views Education» more  CORR 2011»
13 years 4 months ago
On Stabilization in Herman's Algorithm
Herman’s algorithm is a synchronous randomized protocol for achieving self-stabilization in a token ring consisting of N processes. The interaction of tokens makes the dynamics o...
Stefan Kiefer, Andrzej S. Murawski, Joël Ouak...
CORR
2011
Springer
165views Education» more  CORR 2011»
13 years 4 months ago
On the Semantics of Purpose Requirements in Privacy Policies
Privacy policies often place requirements on the purposes for which a governed entity may use personal information. For example, regulations, such as HIPAA, require that hospital ...
Michael Carl Tschantz, Anupam Datta, Jeannette M. ...
CORR
2011
Springer
210views Education» more  CORR 2011»
13 years 1 months ago
Blind source separation of convolutive mixtures of non circular linearly modulated signals with unknown baud rates
This paper is devoted to the blind separation of convolutive mixtures of possibly non circular linearly modulated signals with unknown (and possibly different) baud rates and carr...
E. Florian, Antoine Chevreuil, Philippe Loubaton
CORR
2011
Springer
187views Education» more  CORR 2011»
13 years 1 months ago
Backdoors to Tractable Answer-Set Programming
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
Johannes Klaus Fichte, Stefan Szeider
CORR
2011
Springer
166views Education» more  CORR 2011»
13 years 1 months ago
A Personalized System for Conversational Recommendations
Searching for and making decisions about information is becoming increasingly difficult as the amount of information and number of choices increases. Recommendation systems help ...
Mehmet H. Göker, Pat Langley, Cynthia A. Thom...