157 search results - page 17 / 32 » Incremental Compilation-to-SAT Procedures |
144
click to vote
NAACL
2007
15 years 5 months ago
2007
We present several improvements to unlexicalized parsing with hierarchically state-split PCFGs. First, we present a novel coarse-to-fine method in which a grammar’s own hierarc...
123
click to vote
ESANN
2006
15 years 5 months ago
2006
We propose an efficient forward regression algorithm based on greedy optimization of marginal likelihood. It can be understood as a forward selection procedure which adds a new bas...
152
click to vote
EUMAS
2006
15 years 5 months ago
2006
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
107
click to vote
IJCAI
1989
15 years 5 months ago
1989
Many potential uses of qualitative physics, such as robot planning and intelligent computer-aided engineering, require integrating physics with actions taken by agents. This paper...
CSDA
2010
15 years 3 months ago
2010
This paper considers tests for cointegration with allowance for structural breaks, using the extrema of residual-based tests over subsamples of the data. One motivation for the ap...