1255 search results - page 50 / 251 » Search words and geography |
103
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
122
click to vote
AIMSA
2008
Springer
15 years 2 months ago
2008
Springer
We present a hybrid approach to Distributed Constraint Satisfaction which combines incomplete, fast, penalty-based local search with complete, slower systematic search. Thus, we pr...
130
click to vote
INFSOF
2008
15 years 2 days ago
2008
This paper introduces an approach to locating dependence structures in a program by searching the space of the powerset of the set of all possible program slices. The paper formul...
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Semantic Web is, without a doubt, gaining momentum in both industry and academia. The word "Semantic" refers to "meaning"
103
Voted
CLEF
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper describes our approach to the Question Answering - Word Sense Disambiguation task. This task consists in carrying out Question Answering over a disambiguated d...