1547 search results - page 168 / 310 » The Isabelle Collections Framework |
104
click to vote
ICIS
2000
15 years 2 months ago
2000
The Internet and corporate intranets provide far more information than anybody can absorb. People use search engines to find the information they require. However, these systems t...
100
click to vote
IWFM
1998
15 years 2 months ago
1998
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
150
Voted
WIESS
2000
15 years 2 months ago
2000
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
99
Voted
DAGSTUHL
1996
15 years 2 months ago
1996
The areas of On-Line Algorithms and Machine Learning are both concerned with problems of making decisions about the present based only on knowledge of the past. Although these area...
120
click to vote
TREC
2007
15 years 2 months ago
2007
This paper describes our approaches to the opinion retrieval and blog distillation tasks for the Blog Track. For opinion retrieval we employ a two-stage framework consisting of ke...