Sciweavers

230 search results - page 38 / 46
» Continuations and transducer composition
Sort
View
HYBRID
1995
Springer
14 years 1 months ago
Supervisory Control of Real-Time Systems Using Prioritized Synchronization
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
Ratnesh Kumar, Mark A. Shayman
ICIA
2007
13 years 12 months ago
Modeling Human-Agent Interaction with Active Ontologies
As computer systems continue to grow in power and access more networked content and services, we believe there will be an increasing need to provide more user-centric systems that...
Didier Guzzoni, Charles Baur, Adam Cheyer
3DIM
2005
IEEE
13 years 11 months ago
Spatio-Temporal Fusion of Multiple View Video Rate 3D Surfaces
We consider the problem of geometric integration and representation of multiple views of non-rigidly deforming 3D surface geometry captured at video rate. Instead of treating each...
Gordon Collins, Adrian Hilton
WOA
2003
13 years 11 months ago
An approach to the integration of peer-to-peer systems with active environments
— We adopt a form of group communication, called channeled multicast, for active rooms and other scenarios featuring strict real-time requirements, inherently unreliable communic...
Paolo Busetta, Mattia Merzi
AES
2007
Springer
86views Cryptology» more  AES 2007»
13 years 9 months ago
Numerical modelling of a gravity settler in dynamic conditions
An iterative numerical technique has been developed to simulate in detail the dynamics of a shallow-layer gravity settler. Currently acknowledged models apply only to specific eq...
Elsa F. Gomes, M. M. L. Guimarães, Lí...