4971 search results - page 133 / 995 » Observation systems |
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
AAAI
2000
13 years 11 months ago
2000
This paper addresses the problem of tracking and diagnosing complex systems with mixtures of discrete and continuous variables. This problem is a difficult one, particularly when ...
JCT
2007
13 years 10 months ago
2007
We give the first known examples of 6-sparse Steiner triple systems by constructing 29 such systems in the residue class 7 modulo 12, with orders ranging from 139 to 4447. We the...
MICCAI
2000
Springer
14 years 1 months ago
2000
Springer
We describe a novel robotic endoscope system. It can be used to observe a wide area without moving or bending the endoscope. The system consists of a laparoscope with zoom facility...