9412 search results - page 1548 / 1883 » An aspect-oriented generative approach |
176
click to vote
PODC
2000
ACM
15 years 10 months ago
2000
ACM
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...
197
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
218
click to vote
VW
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a text-to-audiovisual speech synthesizer system incorporating the head and eye movements. The face is modeled using a set of images of a human subject. Visemes...
181
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract: We address the recovery of segmented, 3-0 descriptions of an object from intensity images. We use three views of an objectfrom slightly different viewpointsas our input. ...
220
click to vote
ICDAR
1995
IEEE
15 years 10 months ago
1995
IEEE
We describe a new approach for evaluating page segmentation algorithms. Unlike techniques that rely on OCR output, our method is region-based: the segmentation output, described a...