6020 search results - page 497 / 1204 » A New Approach to Model Counting |
188
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
— A new standpoint on financial time series, without the use of any mathematical model and of probabilistic tools, yields not only a rigorous approach of trends and volatility, ...
215
click to vote
SIMULATION
2011
15 years 2 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
181
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
We previously proposed a decoding method for automatic speech recognition utilizing hypothesis scores weighted by voice activity detection (VAD)-measures. This method uses two Gau...
183
click to vote
BIBM
2007
IEEE
16 years 1 months ago
2007
IEEE
An important problem in high-throughput protein crystallography is constructing a protein model from an electron-density map. Previous work by some of this paper’s authors [1] d...
176
click to vote
ICSM
1995
IEEE
15 years 10 months ago
1995
IEEE
A typical approach to software maintenance is analyzing just the source code, applying some patches, releasing the new version, and then updating the documentation. This quick-fix...