2989 search results - page 340 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
171
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
151
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
The process of extracting useful knowledge from large datasets has become one of the most pressing problems in today’s society. The problem spans entire sectors, from scientists...
213
click to vote
PAA
2002
15 years 6 months ago
2002
: Many classification problems involve high dimensional inputs and a large number of classes. Multiclassifier fusion approaches to such difficult problems typically centre around s...
168
click to vote
DSP
2006
15 years 6 months ago
2006
We describe the use of the discrete wavelet transform (DWT) for non-parametric linear time-invariant system identification. Identification is achieved by using a test excitation t...
157
click to vote
IWPC
2006
IEEE
16 years 16 days ago
2006
IEEE
Object-oriented legacy systems are hard to maintain because they are hard to understand. One of the main understanding problems is revealed by the so-called ”yo-yo effect” tha...