4421 search results - page 475 / 885 » Libraries |
125
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
161
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
129
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
The rapidly increasing availability of electronic publications containing information graphics poses some interesting challenges in terms of information access. For example, visual...
123
Voted
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
In this report we describe the approach of the University of Twente to the 2006 GeoCLEF task. It is based on retrieval by content and the subsequent filtering by geographical rele...
104
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we will describe the Berkeley approaches to the GeoCLEF tasks for CLEF 2006. This year we used two separate systems for different tasks. Although of the systems both...