5550 search results - page 396 / 1110 » Different Approaches to Proof Systems |
216
click to vote
AVSS
2006
IEEE
16 years 29 days ago
2006
IEEE
This paper presents an Open Source Vision Library (OpenVL) for hardware acceleration of video-based surveillance systems and other computer vision applications to facilitate low l...
183
click to vote
ICMCS
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents an interactive video event retrieval system based on improved adaboost learning. This system consists of three main steps. Firstly, a long video sequence is pa...
198
click to vote
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
The present research deals with audio events detection in noisy environments for a multimedia surveillance application. In surveillance or homeland security most of the systems ai...
255
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
191
click to vote
HPDC
1993
IEEE
15 years 11 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...