4434 search results - page 711 / 887 » On the Composition of Hybrid Systems |
178
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel framework of hybrid camera pose tracking system for outdoor navigation system. Traditional vision based or inertial sensor based solutions are mostly d...
192
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...
164
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
172
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we1 study new organizational forms for production processes that emerge in large scale Free/Libre Open Source Software (FLOSS) projects. We will focus on the textua...
171
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...