Sciweavers

6040 search results - page 726 / 1208
» Generating Instance Models from Meta Models
Sort
View
BMVC
2010
15 years 5 months ago
Deterministic Sample Consensus with Multiple Match Hypotheses
RANSAC (Random Sample Consensus) is a popular and effective technique for estimating model parameters in the presence of outliers. Efficient algorithms are necessary for both fram...
Paul McIlroy, Edward Rosten, Simon Taylor, Tom Dru...
CVPR
1998
IEEE
15 years 11 months ago
Minimax Entropy and Learning by Diffusion
1 A system of coupled differential equations is formulated which learns priors for modelling "preattentive" textures. It is derived from an energy functional consisting o...
Jayant Shah
ATVA
2009
Springer
141views Hardware» more  ATVA 2009»
15 years 11 months ago
Formal Verification for High-Assurance Behavioral Synthesis
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Ya...
ICPR
2010
IEEE
15 years 10 months ago
Scene Text Extraction with Edge Constraint and Text Collinearity
In this paper, we propose a framework for isolating text regions from natural scene images. The main algorithm has two functions: it generates text region candidates, and it veriï...
Seonghun Lee, Kyomin Jung, Jin Hyung Kim
COLING
2010
15 years 2 months ago
Multi-Document Summarization via the Minimum Dominating Set
Multi-document summarization aims to distill the most important information from a set of documents to generate a compressed summary. Given a sentence graph generated from a set o...
Chao Shen, Tao Li