4434 search results - page 413 / 887 » On the Composition of Hybrid Systems |
167
click to vote
SCL
2008
15 years 6 months ago
2008
In this work, the problem of estimating the state in systems with continuous and discrete variables is considered. A cascade state estimator on a partial order is constructed and ...
168
click to vote
FLAIRS
2006
15 years 8 months ago
2006
In this paper, we apply artificial neural networks to control the targeting system of a robotic tank in a tank-combat computer game (RoboCode). We suggest an algorithm that not on...
177
click to vote
CG
1999
Springer
15 years 6 months ago
1999
Springer
Many Augmented Reality applications require accurate tracking. Existing tracking techniques require prepared environments to ensure accurate results. This paper motivates the need...
164
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...
165
Voted
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...