Sciweavers

1721 search results - page 293 / 345
» On Active and Passive Testing
Sort
View
IJCV
2006
192views more  IJCV 2006»
14 years 9 months ago
Piecewise-Smooth Dense Optical Flow via Level Sets
We propose a new algorithm for dense optical flow computation. Dense optical flow schemes are challenged by the presence of motion discontinuities. In state of the art optical flo...
Tomer Amiaz, Nahum Kiryati
IVC
2006
171views more  IVC 2006»
14 years 9 months ago
Motion detection and tracking using belief indicators for an automatic visual-surveillance system
A motion detection and tracking algorithm for human and car activity surveillance is presented and evaluated by using the Pets'2000 test sequence. Proposed approach uses a te...
Cina Motamed
JAR
2006
99views more  JAR 2006»
14 years 9 months ago
An Integrated Approach to High Integrity Software Verification
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderi...
JMM2
2006
146views more  JMM2 2006»
14 years 9 months ago
Multifont Arabic Characters Recognition Using HoughTransform and HMM/ANN Classification
Optical Characters Recognition (OCR) has been an active subject of research since the early days of computers. Despite the age of the subject, it remains one of the most challengin...
Nadia Ben Amor, Najoua Essoukri Ben Amara
MJ
2006
84views more  MJ 2006»
14 years 9 months ago
Impact of the surface roughness on the electrical capacitance
A new hybrid approach consists to use the advantages of both systems namely the high geometric aspects of the electrodes of the ultracapacitor and the high dielectric strength of ...
A. Albina, P. L. Taberna, J. P. Cambronne, P. Simo...