4117 search results - page 340 / 824 » On the Satisfiability of Complex Constraints |
183
Voted
COLING
2010
15 years 1 months ago
2010
This paper presents a simple and efficient algorithm for approximate dictionary matching designed for similarity measures such as cosine, Dice, Jaccard, and overlap coefficients. ...
169
Voted
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
180
click to vote
MOC
2010
15 years 1 months ago
2010
Abstract. We propose a convergent implicit stabilized finite element discretization of the nonstationary incompressible magnetohydrodynamics equations with variable density, viscos...
192
Voted
SIAMCO
2010
15 years 1 months ago
2010
For discrete time nonlinear systems satisfying an exponential or finite time controllability assumption, we present an analytical formula for a suboptimality estimate for model pre...
216
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper studies a hierarchical Bayesian model for nonlinear hyperspectral image unmixing. The proposed model assumes that the pixel reflectances are polynomial functions of li...