Sciweavers

1228 search results - page 187 / 246
» Continuations, proofs and tests
Sort
View
ACCV
2006
Springer
13 years 11 months ago
Motion Detection in Driving Environment Using U-V-Disparity
Abstract. Motion detection in driving environment, which aims to detect REAL moving objects from continuously changing background, is vital for Adaptive Cruise Control (ACC) applic...
Jia Wang, Zhencheng Hu, Hanqing Lu, Keiichi Uchimu...
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
13 years 11 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
ECCV
2010
Springer
13 years 10 months ago
Multiple Hypothesis Video Segmentation from Superpixel Flows
Multiple Hypothesis Video Segmentation (MHVS) is a method for the unsupervised photometric segmentation of video sequences. MHVS segments arbitrarily long video streams by consider...
CIVR
2008
Springer
127views Image Analysis» more  CIVR 2008»
13 years 9 months ago
Investigating keyframe selection methods in the novel domain of passively captured visual lifelogs
The SenseCam is a passive capture wearable camera, worn around the neck, and when worn continuously it takes an average of 1,900 images per day. It can be used to create a persona...
Aiden R. Doherty, Daragh Byrne, Alan F. Smeaton, G...
COLCOM
2008
IEEE
13 years 9 months ago
Web Canary: A Virtualized Web Browser to Support Large-Scale Silent Collaboration in Detecting Malicious Web Sites
Abstract. Malicious Web content poses a serious threat to the Internet, organizations and users. Current approaches to detecting malicious Web content employ high-powered honey cli...
Jiang Wang, Anup K. Ghosh, Yih Huang