158 search results - page 8 / 32 » High-Level Modeling and Analysis of TCAS |
150
click to vote
ENTCS
2002
15 years 4 months ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
160
click to vote
ICICS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
213
Voted
PAMI
2007
15 years 4 months ago
2007
—This paper presents a method for learning decision theoretic models of human behaviors from video data. Our system learns relationships between the movements of a person, the co...
159
click to vote
NIPS
2004
15 years 6 months ago
2004
Visual action recognition is an important problem in computer vision. In this paper, we propose a new method to probabilistically model and recognize actions of articulated object...
195
click to vote
VLSID
1999
IEEE
15 years 9 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...