Sciweavers

5012 search results - page 544 / 1003
» Distributed Error Correction
Sort
View
ICCV
1998
IEEE
16 years 8 months ago
Sectored Snakes: Evaluating Learned-Energy Segmentations
We describe how to teach deformable models to maximize image segmentation correctness based on user-specified criteria, and we present a method for evaluating which criteria work ...
Samuel D. Fenster, John R. Kender
173
Voted
ICSE
2003
IEEE-ACM
16 years 7 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
PPOPP
2010
ACM
16 years 4 months ago
Featherweight X10: a core calculus for async-finish parallelism
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
Jonathan K. Lee, Jens Palsberg
149
Voted
BIRTHDAY
2009
Springer
16 years 1 months ago
No i-Sums for Nissim (and Shalom)
Lappin and Francez (1994) present a theory of donkey anaphora which, they claim, captures both their existential and their universal readings, while maintaining a uniform represent...
Itamar Francez
204
Voted
ICMCS
2008
IEEE
131views Multimedia» more  ICMCS 2008»
16 years 1 months ago
Wyner-Ziv coding with spatio-temporal refinement based on successive turbo decoding
Arising needs for extremely simple encoder motivate investigations on distributed video coding (DVC). The Wyner-Ziv coding, one of the representative DVC schemes, reconstructs vid...
Bonghyuck Ko, Hiuk Jae Shim, Byeungwoo Jeon