7109 search results - page 1131 / 1422 » Process Algebra with Combinators |
173
click to vote
ISCIS
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we develop a robust image data hiding scheme based on multiple description coding of the signature image. At the transmitter, the signature image is encoded by balan...
182
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
—Build systems are responsible for transforming static source code artifacts into executable software. While build systems play such a crucial role in software development and ma...
181
click to vote
TAMC
2010
Springer
15 years 11 months ago
2010
Springer
Incrementally k-list coloring a graph means that a graph is given by adding stepwise one vertex after another, and for each intermediate step we ask for a vertex coloring such that...
151
click to vote
UM
2010
Springer
15 years 11 months ago
2010
Springer
Recently, detectors of gaming the system have been developed for several intelligent tutoring systems where the problem-solving process is reified, and gaming consists of systemati...
189
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper we propose a probabilistic framework that models shape variations and infers dense and detailed 3D shapes from a single silhouette. We model two types of sh...