Sciweavers

7393 search results - page 505 / 1479
» Synthesis-for-testability using transformations
Sort
View
184
Voted
ECCV
2006
Springer
15 years 10 months ago
Using a Connected Filter for Structure Estimation in Perspective Systems
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...
Fredrik Nyberg, Ola Dahl, Jan Holst, Anders Heyden
VISUAL
2000
Springer
15 years 10 months ago
Wavelet-Based Salient Points: Applications to Image Retrieval Using Color and Texture Features
In image retrieval, global features related to color or texture are commonly used to describe the image. The use of interest points in contentbased image retrieval allows image ind...
Etienne Loupias, Nicu Sebe
CVPR
2010
IEEE
15 years 9 months ago
Real-time Tracking of Multiple Occluding Objects using Level Sets
We derive a probabilistic framework for robust, realtime, visual tracking of multiple previously unseen objects from a moving camera. This framework models the discrete depth orde...
Charles Bibby, Ian Reid
FLAIRS
2008
15 years 9 months ago
Using Genetic Programming to Increase Rule Quality
Rule extraction is a technique aimed at transforming highly accurate opaque models like neural networks into comprehensible models without losing accuracy. G-REX is a rule extract...
Rikard König, Ulf Johansson, Lars Niklasson
CODES
2008
IEEE
15 years 8 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner