549 search results - page 53 / 110 » formats 2010 |
111
click to vote
CP
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, ...
84
Voted
DAGM
2010
Springer
14 years 11 months ago
2010
Springer
We propose a convex variational framework to compute high resolution images from a low resolution video. The image formation process is analyzed to provide to a well designed model...
96
Voted
GI
2010
Springer
14 years 11 months ago
2010
Springer
Despite the ubiquity of barcodes there is no common product repository available today linking product master data to the corresponding barcodes. This paper proposes a social netwo...
71
Voted
IANDC
2010
14 years 11 months ago
2010
We study the set TA of infinite binary trees with nodes labelled in a semiring A from a coalgebraic perspective. We present coinductive definition and proof principles based on ...
156
click to vote
ICMCS
2010
IEEE
14 years 11 months ago
2010
IEEE
In digital rights management (DRM) systems, digital media is often distributed by multiple levels of distributors in a compressed and encrypted format. The distributors in the cha...