3317 search results - page 111 / 664 » Strategies in Rigid-Variable Methods |
137
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
We propose a new method for fitting mixture models that performs component selection and does not require external initialization. The novelty of our approach includes: a minimum ...
250
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
100
click to vote
NIME
2004
Springer
15 years 9 months ago
2004
Springer
The choice of mapping strategies to effectively map controller variables to sound synthesis algorithms is examined. Specifically, we look at continuous mappings that have a geom...
112
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
How do we identify inconsistent CSPs quickly? This paper presents relaxation as one possible method; showing how we can generate relaxed CSPs which are easier to prove inconsistent...
110
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
This paper proposes a strategy of improving file availability of peer-to-peer file storage systems, which provides the ability of identifying duplicate files and leveraging the ...