1788 search results - page 170 / 358 » The Language of Search |
SOCO
2005
Springer
14 years 1 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...
FM
1994
Springer
14 years 12 days 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...
CLEF
2008
Springer
13 years 10 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...
PKDD
2009
Springer
14 years 2 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...
FCT
2005
Springer
14 years 1 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...