6020 search results - page 380 / 1204 » A New Approach to Model Counting |
145
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
In the present study a set of first order correlation functions are proposed to examine the quality of a wide class of identified nonlinear models. The first order correlation ...
179
click to vote
IIE
2008
15 years 6 months ago
2008
Blended learning is becoming an attractive model in higher education as new innovative information technologies are becoming increasingly available. However, just blending face-to-...
199
click to vote
MEMICS
2010
15 years 1 months ago
2010
Embedded Block Coding with Optimal Truncation (EBCOT) is the fundamental and computationally very demanding part of the compression process of JPEG2000 image compression standard. ...
250
click to vote
ISMIS
2011
Springer
14 years 9 months ago
2011
Springer
In the paper we present a new evolutionary algorithm for induction of regression trees. In contrast to the typical top-down approaches it globally searches for the best tree struct...
194
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Markov random field (MRF) theory has widely been applied to segmentation in noisy images. This paper proposes a new MRF method. First, it couples the original labeling MRF with a ...