2487 search results - page 218 / 498 » Automatic Model Selection by Modelling the Distribution of R... |
166
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
227
click to vote
ICIP
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a new statistical image segmentation algorithm, in which the texture features are modeled by Symmetric Alpha-Stable (SαS) distributions. These features are ef...
183
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Effective visualization of vector fields relies on the ability to control the size and density of the underlying mapping to visual cues used to represent the field. In this paper ...
192
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
203
click to vote
FQAS
2004
Springer
15 years 10 months ago
2004
Springer
The discovery of frequently occurring patterns in a time series could be important in several application contexts. As an example, the analysis of frequent patterns in biomedical ...