4485 search results - page 531 / 897 » Equivalences on Observable Processes |
159
click to vote
ISCAS
2006
IEEE
16 years 24 days ago
2006
IEEE
—A method for detection of tree branches and leaves in video is proposed. It is observed that the motion vectors of tree branches and leaves exhibit random motion. On the other h...
179
click to vote
QSIC
2006
IEEE
16 years 23 days ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
186
click to vote
WMTE
2006
IEEE
16 years 23 days ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
147
click to vote
SAC
2006
ACM
16 years 22 days ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
144
Voted
3DIM
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper proposes a “non-contact virtual clay modeling interface.” We developed a prototype of a three-dimensional modeling system that allows the user to deform the “virt...