305 search results - page 48 / 61 » From Sets to Bits in Coq |
134
click to vote
VCBM
2010
14 years 5 months ago
2010
We present a fast and interactive segmentation method for medical images that allows a smooth reconstruction of an object's surface from a set of user drawn, three-dimensiona...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Canonical distributed quantization schemes do not scale to large sensor networks due to the exponential decoder storage complexity that they entail. Prior efforts to tackle this i...
116
click to vote
SSDBM
1999
IEEE
15 years 3 months ago
1999
IEEE
Multidimensional Analysis in On-Line Analytical Processing (OLAP), and Scientific and statistical databases (SSDB) use operations requiring summary information on multi-dimensiona...
100
click to vote
JOC
2008
14 years 10 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
CN
2007
14 years 10 months ago
2007
In multicast communication, a source transmits the same content to a set of receivers. Current protocols for multicast follow a tree communication model which makes them scalable....