2302 search results - page 220 / 461 » Testing as Abstraction |
148
click to vote
CLEF
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We investigates the effectiveness of language-dependent approaches to document retrieval, such as stemming and decompounding, and constrast them with language-independen...
149
click to vote
CSCLP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In [8], Freuder defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently [2], we extended the definition of interchangeability to Soft ...
183
click to vote
ECML
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper explores the use of initial Stochastic Context-Free Grammars (SCFG) obtained from a treebank corpus for the learning of SCFG by means of estimation algorithms....
162
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
177
click to vote
GBRPR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present a new method (MIDES) to determine contraction kernels for the construction of graph pyramids. Experimentally the new method has a reduction factor higher than ...