Sciweavers

5230 search results - page 543 / 1046
» Engineering of Computer Vision Algorithms Using Evolutionary...
Sort
View
GECCO
2007
Springer
148views Optimization» more  GECCO 2007»
16 years 17 days ago
Fuzzy-UCS: preliminary results
This paper presents Fuzzy-UCS, a Michigan-style Learning Fuzzy-Classifier System designed for supervised learning tasks. Fuzzy-UCS combines the generalization capabilities of UCS...
Albert Orriols-Puig, Jorge Casillas, Ester Bernad&...
CODES
2007
IEEE
15 years 10 months ago
Synchronization after design refinements with sensitive delay elements
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
CVPR
2007
IEEE
16 years 8 months ago
Estimating Scale of a Scene from a Single Image Based on Defocus Blur and Scene Geometry
Using an imaging system in which the image plane can be tilted with respect to the optical axis of the lens, the image of a large-scale scene that appears to be a miniature to hum...
Takayuki Okatani, Koichiro Deguchi
CVPR
2006
IEEE
16 years 14 days ago
Active Graph Cuts
This paper adds a number of novel concepts into global s/t cut methods improving their efficiency and making them relevant for a wider class of applications in vision where algor...
Olivier Juan, Yuri Boykov
DAC
2007
ACM
16 years 7 months ago
On Resolution Proofs for Combinational Equivalence
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
Satrajit Chatterjee, Alan Mishchenko, Robert K. Br...