8555 search results - page 1509 / 1711 » Property Based Coordination |
190
click to vote
JSC
2010
15 years 4 months ago
2010
We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is...
170
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
We present a novel approach for extracting cluttered objects based on their morphological properties1 . Specifically, we address the problem of untangling C. elegans clusters in h...
185
click to vote
ML
2010
ACM
15 years 4 months ago
2010
ACM
Many knowledge representation mechanisms are based on tree-like structures, thus symbolizing the fact that certain pieces of information are related in one sense or another. There ...
195
click to vote
MT
2010
15 years 4 months ago
2010
This paper introduces deep syntactic structures to syntax-based Statistical Machine Translation (SMT). We use a Head-driven Phrase Structure Grammar (HPSG) parser to obtain the de...
164
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Inclusion-based points-to analysis provides a good trade-off between precision of results and speed of analysis, and it has been incorporated into several production compilers inc...