Sciweavers

5851 search results - page 200 / 1171
» Coordination as a Direct Process
Sort
View
EGH
2009
Springer
15 years 4 months ago
Embedded function composition
A low-level graphics processor is assembled from a collection of hardwired functions of screen coordinates embedded directly in the display. Configuration of these functions is co...
Turner Whitted, James T. Kajiya, Erik Ruf, Ray Bit...
COORDINATION
2009
Springer
16 years 7 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
ICIP
2006
IEEE
16 years 8 months ago
Image Manifold Interpolation using Free-Form Deformations
An important class of image data sets depict an object undergoing deformation. When there are only a few underlying causes of the deformation, these images have a natural lowdimen...
Richard Souvenir, Qilong Zhang, Robert Pless
ICIP
2000
IEEE
16 years 8 months ago
Three Dimensional Facial Model Adaptation
This paper addresses the problem of adapting a generic 3D face model to a human face of which the frontal and profile views are given. Assuming that a set of feature points have b...
Nikolaos Sarris, Michael G. Strintzis
COORDINATION
2009
Springer
16 years 1 months ago
Fairness for Chorded Languages
Joins or chords is a concurrency construct that seems to fit well with the object oriented paradigm. Chorded languages are presented with implicit assumptions regarding the fair t...
Alexis Petrounias, Susan Eisenbach