1547 search results - page 254 / 310 » The Isabelle Collections Framework |
198
click to vote
UIST
2010
ACM
14 years 10 months ago
2010
ACM
We introduce TwinSpace, a flexible software infrastructure for combining interactive workspaces and collaborative virtual worlds. Its design is grounded in the need to support dee...
85
Voted
WEBI
2010
Springer
14 years 10 months ago
2010
Springer
Static index pruning techniques aim at removing from the posting lists of an inverted file the references to documents which are likely to be not relevant for answering user querie...
111
click to vote
CISIS
2009
IEEE
14 years 10 months ago
2009
IEEE
The Health-e-Waterways Project is a collaboration between the University of Queensland, Microsoft Research and the South East Queensland Healthy Waterways Partnership (SEQ-HWP) (a...
100
Voted
EMNLP
2009
14 years 10 months ago
2009
This paper describes an empirical study of high-performance dependency parsers based on a semi-supervised learning approach. We describe an extension of semisupervised structured ...
116
Voted
EMNLP
2009
14 years 10 months ago
2009
Computing the pairwise semantic similarity between all words on the Web is a computationally challenging task. Parallelization and optimizations are necessary. We propose a highly...