Sciweavers

3598 search results - page 385 / 720
» New efficient algorithms for computing effective capacitance
Sort
View
QEST
2010
IEEE
15 years 4 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
CVPR
2004
IEEE
16 years 8 months ago
Incremental Density Approximation and Kernel-Based Bayesian Filtering for Object Tracking
Statistical density estimation techniques are used in many computer vision applications such as object tracking, background subtraction, motion estimation and segmentation. The pa...
Bohyung Han, Dorin Comaniciu, Ying Zhu, Larry S. D...
CVPR
2005
IEEE
16 years 8 months ago
Geo-Consistency for Wide Multi-Camera Stereo
This paper presents a new model to overcome the occlusion problems coming from wide baseline multiple camera stereo. Rather than explicitly modeling occlusions in the matching cos...
Marc-Antoine Drouin, Martin Trudeau, Sébast...
COMPUTER
2007
123views more  COMPUTER 2007»
15 years 6 months ago
Cryptography on a Speck of Dust
Ubiquitous computing has become a reality in recent years. Tiny wireless sensors and RFID tags are being deployed today and will soon form an important aspect of our infrastructur...
Jens-Peter Kaps, Gunnar Gaubatz, Berk Sunar
ICIP
2004
IEEE
16 years 8 months ago
Morphological gradient operators for colour images
A new morphological gradient operator for colour images is introduced that can be viewed as a direct extension of the well known morphological gradient. In this approach, each pix...
Adrian N. Evans