4971 search results - page 33 / 995 » Observation systems |
DEDS
2008
13 years 7 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...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
A novel system for measurement of motile microorganism galvanotaxis using high-speed vision is presented. Our goal is to construct a smart microsystem composed of many controlled ...
CHI
1994
ACM
13 years 11 months ago
1994
ACM
My doctoral research focuses on the usability and usage of new computer technology such as interactive systems that support the combination different input media such as voice, ge...
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...
NCA
2006
IEEE
14 years 1 months ago
2006
IEEE
Modern distributed information systems handle increasingly critical data and computation, but there is no systematic way to assess whether a given part of the system can be entrus...