5639 search results - page 65 / 1128 » Timed Abstract Non-interference |
GLVLSI
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract - In this paper, we discuss hardware acceleration for real-time physical modeling that would allow for realistic virtual environments. Additionally, we propose algorithms ...
CODES
1997
IEEE
15 years 4 months ago
1997
IEEE
Abstract Felice Balarin Massimiliano Chiodoy Attila Jurecskaz Luciano Lavagno Bassam Tabbarax Alberto Sangiovanni-Vincentelli April 28, 1997
100
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Dendritic Cells (DCs) are innate immune system cells which have the power to activate or suppress the ystem. The behaviour of human DCs is abstracted to form an algorithm suitable...
IJISTA
2008
14 years 12 months ago
2008
Abstract: This paper presents a new approach for gesture classification using x- and y-projections of the image and optional depth features. The system uses a 3-D time-of-flight (T...