Sciweavers

1389 search results - page 136 / 278
» Model Combination for Machine Translation
Sort
View
112
Voted
ER
2004
Springer
84views Database» more  ER 2004»
15 years 8 months ago
Modeling Functional Data Sources as Relations
In this paper we present a model of functional access to data that, we argue, is suitable for modeling a class of data repositories characterized by functional access, such as web ...
Simone Santini, Amarnath Gupta
142
Voted
WACV
2002
IEEE
15 years 8 months ago
Automatic Pose Estimation of Complex 3D Building Models
3D models of urban sites with geometry and facade textures are needed for many planning and visualization applications. Approximate 3D wireframe model can be derived from aerial i...
Sung Chun Lee, Soon Ki Jung, Ramakant Nevatia
149
Voted
CAV
2004
Springer
121views Hardware» more  CAV 2004»
15 years 7 months ago
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
HoonSang Jin, Mohammad Awedh, Fabio Somenzi
CIVR
2004
Springer
117views Image Analysis» more  CIVR 2004»
15 years 8 months ago
Using Maximum Entropy for Automatic Image Annotation
In this paper, we propose the use of the Maximum Entropy approach for the task of automatic image annotation. Given labeled training data, Maximum Entropy is a statistical techniqu...
Jiwoon Jeon, R. Manmatha
CORR
2010
Springer
97views Education» more  CORR 2010»
15 years 3 months ago
Knowledge-Based Innovation Systems and the Model of a Triple Helix of University-Industry-Government Relations
The (neo-)evolutionary model of a Triple Helix of University-Industry-Government Relations focuses on the overlay of expectations, communications, and interactions that potentiall...
Loet Leydesdorff