3575 search results - page 226 / 715 » Presentations of computably enumerable reals |
173
click to vote
EWSN
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. A localization algorithm using radio interferometric measurements is presented. A probabilistic model is constructed that accounts for general noise models and lends itse...
339
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper an approach based on Wikipedia link structure for sense disambiguation is presented and evaluated. Wikipedia is used as a reference to obtain lexicographic relations...
147
click to vote
ISMM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an efficient implementation of the ultimate attribute opening operator. In this implementation, the ultimate opening is computed by processing the image maxtre...
222
click to vote
MIRAGE
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a markerless motion capture pipeline based on volumetric reconstruction, skeletonization and articulated ICP with hard constraints. The skeletonization produces...
187
click to vote
ADAEUROPE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms’ worst-case execution time is exponential, they...