1788 search results - page 170 / 358 » The Language of Search |
118
Voted
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
In an open environment populated by large numbers of services, automated service composition is a major challenge. In such a setting the efficient interaction of directory-based s...
115
Voted
FM
1994
Springer
15 years 7 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
130
Voted
CLEF
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents WikiTranslate, a system which performs query translation for cross-lingual information retrieval (CLIR) using only Wikipedia to obtain translations. Queries ar...
130
Voted
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we propose a system to solve a language game, called Guillotine, which requires a player with a strong cultural and linguistic background knowledge. The player obser...
106
Voted
FCT
2005
Springer
15 years 9 months ago
2005
Springer
In the pattern matching problem, there can be a quadratic number of matching substrings in the size of a given text. The linearizing restriction finds, at most, a linear number of...