Sciweavers

2272 search results - page 147 / 455
» Validity Invariants and Effects
Sort
View
139
Voted
TCSV
2008
202views more  TCSV 2008»
15 years 3 months ago
Probabilistic Object Tracking With Dynamic Attributed Relational Feature Graph
Object tracking is one of the fundamental problems in computer vision and has received considerable attention in the past two decades. The success of a tracking algorithm relies on...
Feng Tang, Hai Tao
144
Voted
TCSV
2008
143views more  TCSV 2008»
15 years 3 months ago
High-Speed Action Recognition and Localization in Compressed Domain Videos
We present a compressed domain scheme that is able to recognize and localize actions in real-time1 . The recognition problem is posed as performing an action video query on a test ...
Chuohao Yeo, Parvez Ahammad, Kannan Ramchandran, S...
139
Voted
TSP
2008
132views more  TSP 2008»
15 years 3 months ago
Robust Intervention in Probabilistic Boolean Networks
Probabilistic Boolean networks (PBNs) have been recently introduced as a paradigm for modeling genetic regulatory networks. One of the objectives of PBN modeling is to use the netw...
Ranadip Pal, Aniruddha Datta, Edward R. Dougherty
118
Voted
JEI
2002
212views more  JEI 2002»
15 years 3 months ago
Morphology-based license plate detection in images of differently illuminated and oriented cars
This paper presents a morphology-based method for detecting license plates from cluttered images. The proposed system consists of three major components. At the first, a morpholog...
Jun-Wei Hsieh, Shih-Hao Yu, Yung-Sheng Chen
156
Voted
ICST
2010
IEEE
15 years 2 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...