4385 search results - page 840 / 877 » Abstraction for Concurrent Objects |
CLEF
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Esfinge is a general domain Portuguese question answering system. It tries to apply simple techniques to large amounts of text. Esfinge participated last year in the mono...
ECML
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Learning from multi-relational domains has gained increasing attention over the past few years. Inductive logic programming (ILP) systems, which often rely on hill-climbi...
125
click to vote
ESOP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
GFKL
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This study focuses on the contribution of sentence length for a quantitative text typology. Therefore, 333 Slovenian texts are analyzed with regard to their sentence leng...
102
click to vote
HPCC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Correction of building height effects is a critical step in image interpretation from aerial imagery in urban area. In this paper, an efficient scheme to correct building...