Sciweavers

13913 search results - page 204 / 2783
» models 2007
Sort
View
SPLC
2007
15 years 8 months ago
Reasoning about Feature Models in Higher-Order Logic
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
Mikolás Janota, Joseph Kiniry
ICCV
2007
IEEE
16 years 9 months ago
Reconstructing High Quality Face-Surfaces using Model Based Stereo
Brian Amberg, Andrew Blake, Andrew W. Fitzgibbon, ...
CCE
2008
15 years 7 months ago
Combining optimization and simulation for strategic and operational industrial gas production and distribution
We describe flexible optimization models for the production and distribution of liquefied atmospheric gases. A simulation engine that interacts with the optimization models is use...
Wasu Glankwamdee, Jeff T. Linderoth, Jierui Shen, ...
ACL
2003
15 years 8 months ago
Parsing with Generative Models of Predicate-Argument Structure
The model used by the CCG parser of Hockenmaier and Steedman (2002b) would fail to capture the correct bilexical dependencies in a language with freer word order, such as Dutch. T...
Julia Hockenmaier
IJCAI
2003
15 years 8 months ago
A Statistical Model for Flexible String Similarity
This paper proposes a statistical model for defining string similarity. The proposed model is based on hidden Markov model and defines string similarity as the combination of simi...
Atsuhiro Takasu