4520 search results - page 54 / 904 » Algebraic Techniques for Timed Systems |
137
click to vote
TASE
2010
IEEE
14 years 8 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
107
Voted
FMSB
2008
15 years 3 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
111
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
— Large MIMO systems with tens of antennas in each communication terminal using full-rate non-orthogonal spacetime block codes (STBC) from Cyclic Division Algebras (CDA) can achi...
117
Voted
BMVC
2001
15 years 4 months ago
2001
A large body of human image processing techniques use skin detection as a first primitive for subsequent feature extraction. Well established methods of colour modelling, such as...
114
Voted
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...