3575 search results - page 664 / 715 » Presentations of computably enumerable reals |
204
click to vote
VLDB
2006
ACM
16 years 2 days ago
2006
ACM
Abstract Traditional nearest-neighbor (NN) search is based on two basic indexing approaches: object-based indexing and solution-based indexing. The former is constructed based on t...
124
click to vote
MOBISYS
2007
ACM
15 years 11 months ago
2007
ACM
The NEMO project is exploring the use of mobile sensor nodes to augment physical work artefacts in order to ensure compliance with health and safety regulations. In this paper we ...
103
click to vote
DCC
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we present the B-coder, an efficient binary arithmetic coder that performs extremely well on a wide range of data. The B-coder should be classed as an `approximate&#...
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
100
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We present an algorithm for Interactive Cosegmentation of a foreground object from a group of related images. While previous approaches focus on unsupervised co-segmentation, we us...