9611 search results - page 447 / 1923 » A Note on Difference Sets |
193
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different s...
203
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Data sparseness is an ever dominating problem in automatic emotion recognition. Using artificially generated speech for training or adapting models could potentially ease this: t...
186
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Query expansion is a well known method to improve the performance of information retrieval systems. In this work we have tested different approaches to extract the candid...
174
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
175
click to vote
DCG
2008
15 years 7 months ago
2008
We present a novel reconstruction algorithm that, given an input point set sampled from an object S, builds a one-parameter family of complexes that approximate S at different sca...