5275 search results - page 43 / 1055 » Computing by observing |
146
click to vote
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
125
click to vote
DEDS
2008
15 years 2 months ago
2008
This paper deals with the on-line monitoring of large systems modeled as Petri Nets under partial observation. The plant observation is given by a subset of transitions whose occu...
113
click to vote
BILDMED
2008
15 years 3 months ago
2008
The intent of medical Augmented Reality (AR) is to augment the surgeon's real view on the patient with the patient's interior anatomy resulting from a suitable visualizat...
121
click to vote
ENTCS
2010
15 years 2 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
102
click to vote
JRTIP
2007
15 years 1 months ago
2007
The paper presents a real-time algorithm that compensates image distortions due to atmospheric turbulence in video sequences, while keeping the real moving objects in the video unh...