1980 search results - page 317 / 396 » Compositional Model Checking of Real Time Systems |
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
Granularity control is an effective means for trading power consumption with performance on dense shared memory multiprocessors, such as multi-SMT and multi-CMP systems. In this p...
BMVC
2000
13 years 11 months ago
2000
Vision-based systems for remote surveillance usually involve change detection algorithms for intruders, obstacles or irregularities detection. In particular, there is a potentiall...
ICVS
2003
Springer
14 years 3 months ago
2003
Springer
This paper discusses the design of a working system that visually recognizes hand gestures for the control of a window based user interface. We present a method for tracking the fi...
BIOSYSTEMS
2008
13 years 10 months ago
2008
The responses of cortical neurons are often characterized by measuring their spectro-temporal receptive fields (strfs). The strf of a cell can be thought of as a representation of...
NN
2002
Springer
13 years 9 months ago
2002
Springer
This paper presents a biologically-inspired, hardware-realisable spiking neuron model, which we call the Temporal Noisy-Leaky Integrator (TNLI). The dynamic applications of the mo...