Sciweavers

1333 search results - page 127 / 267
» Termination Detection of Local Computations
Sort
View
JUCS
2007
90views more  JUCS 2007»
13 years 10 months ago
High-level Structured Interactive Programs with Registers and Voices
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefa...
IJNSEC
2008
129views more  IJNSEC 2008»
13 years 10 months ago
LAMAIDS: A Lightweight Adaptive Mobile Agent-based Intrusion Detection System
Intrusion detection system (IDS) has become an essential component of a computer security scheme as the number of security-breaking attempts originating inside organizations is in...
Mohamad A. Eid, Hassan Artail, Ayman I. Kayssi, Al...
ICVGIP
2008
13 years 11 months ago
Monocular Depth by Nonlinear Diffusion
Following the phenomenological approach of gestaltists, sparse monocular depth cues such as T- and X-junctions and the local convexity are crucial to identify the shape and depth ...
Jean-Michel Morel, Philippe Salembier
TCSV
2008
313views more  TCSV 2008»
13 years 10 months ago
Fast Pedestrian Detection Using a Cascade of Boosted Covariance Features
Efficiently and accurately detecting pedestrians plays a very important role in many computer vision applications such as video surveillance and smart cars. In order to find the ri...
Sakrapee Paisitkriangkrai, Chunhua Shen, Jian Zhan...
WACV
2002
IEEE
14 years 3 months ago
Active Facial Tracking for Fatigue Detection
The vision-based driver fatigue detection is one of the most prospective commercial applications of facial expression recognition technology. The facial feature tracking is the pr...
Haisong Gu, Qiang Ji, Zhiwei Zhu