1547 search results - page 254 / 310 » The Isabelle Collections Framework |
243
click to vote
UIST
2010
ACM
15 years 1 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...
121
click to vote
WEBI
2010
Springer
15 years 1 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...
143
click to vote
CISIS
2009
IEEE
15 years 1 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...
134
click to vote
EMNLP
2009
15 years 1 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 ...
144
click to vote
EMNLP
2009
15 years 1 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...