3379 search results - page 490 / 676 » Combinators for Interaction Nets |
184
click to vote
IANDC
2006
15 years 6 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
182
click to vote
TCBB
2008
15 years 6 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
178
click to vote
TVCG
2008
15 years 6 months ago
2008
Abstract-- This paper introduces orthogonal vector field visualization on 2D manifolds: a representation by lines that are perpendicular to the input vector field. Line patterns ar...
188
click to vote
VRST
2010
ACM
15 years 4 months ago
2010
ACM
Physical characteristics and constraints of today's head-mounted displays (HMDs) often impair interaction in immersive virtual environments (VEs). For instance, due to the li...
211
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Facial activities are the most natural and powerful means of human communication. Spontaneous facial activity is characterized by rigid head movements, non-rigid facial muscular m...