15372 search results - page 2707 / 3075 » The Semantics of Semantic Annotation |
124
click to vote
CATS
2008
15 years 7 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
155
click to vote
COLING
2008
15 years 7 months ago
2008
We propose a new integrated approach based on Markov logic networks (MLNs), an effective combination of probabilistic graphical models and firstorder logic for statistical relatio...
162
click to vote
FORTE
2010
15 years 7 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
138
click to vote
COLING
2008
15 years 7 months ago
2008
Semantic relatedness between words is important to many NLP tasks, and numerous measures exist which use a variety of resources. Thus far, such work is confined to measuring simil...
141
click to vote
DATESO
2007
15 years 7 months ago
2007
The task of similarity search in image databases has been studied for decades, while there have been many feature extraction techniques proposed. Among the mass of low-level techni...