1982 search results - page 222 / 397 » Parametricity and dependent types |
149
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
Nowadays there exist several kinds of question answering systems. According to recent evaluation results, most of these systems are complementary (i.e., each one is better than the...
158
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a new semantic relatedness measure on semantic networks (SN) that uses both hierarchical and non-hierarchical relations. Our approach relies on two as...
151
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
The results of the last MaxSAT Evaluations suggest there is no universal best algorithm for solving MaxSAT, as the fastest solver often depends on the type of instance. Having an ...
154
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
Currently, falling prices in technologies associated with surveillance applications has led to a huge increase in their use in all types of environments, although the most common ...
162
click to vote
AAIM
2008
Springer
15 years 8 months ago
2008
Springer
We consider a generalization of the shortest-path problem: given an alphabet , a graph G whose edges are weighted and -labeled, and a regular language L , the L-constrained shortes...