1054 search results - page 96 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
129
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
148
Voted
SCP
2010
15 years 2 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
148
click to vote
FGR
2000
IEEE
15 years 8 months ago
2000
IEEE
A computer vision system for tracking multiple people in relatively unconstrained environments is described. Trackerformed at three levels of abstraction: regions, people and grou...
121
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
We present a novel technique for calibrating displaycamera systems from reflections in the user's eyes. Displaycamera systems enable a range of vision applications that need ...
130
click to vote
RAS
2008
15 years 3 months ago
2008
The robot described in this paper learns words that relate to objects and their attributes and also learns concepts, which may be recursive, that involve relationships between sev...