2702 search results - page 359 / 541 » constraints 2008 |
192
click to vote
JFP
2008
15 years 6 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
195
click to vote
CSDA
2007
15 years 6 months ago
2007
This article proposes a Bayesian infinite mixture model for the estimation of the conditional density of an ergodic time series. A nonparametric prior on the conditional density ...
203
click to vote
JMIV
2008
15 years 6 months ago
2008
Vector fields arise in many problems of computer vision, particularly in non-rigid registration. In this paper, we develop coupled partial differential equations (PDEs) to estimat...
186
click to vote
JMIV
2008
15 years 6 months ago
2008
Every stereovision application must cope with the correspondence problem. The space of the matching variables, often consisting of spatial coordinates, intensity and disparity, is...
177
click to vote
JMM2
2008
15 years 6 months ago
2008
The current heterogeneous world of networks and terminals combined with the generalized mobility of users pose telecommunications operators and service providers the challenge of d...