Sciweavers

1734 search results - page 121 / 347
» What works
Sort
View
ISCA
1998
IEEE
122views Hardware» more  ISCA 1998»
14 years 1 months ago
Design Choices in the SHRIMP System: An Empirical Study
The SHRIMP cluster-computing system has progressed to a point of relative maturity; a variety of applications are running on a 16-node system. We have enough experience to underst...
Matthias A. Blumrich, Richard Alpert, Yuqun Chen, ...
CHI
1998
ACM
14 years 1 months ago
Student Readers' Use of Library Documents: Implications for Library Technologies
We report on a study of graduate students conducting research in libraries, focusing on how they extract and record information as they read. By examining their information record...
Kenton O'Hara, Fiona Smith, William M. Newman, Abi...
ECML
1998
Springer
14 years 1 months ago
A Monotonic Measure for Optimal Feature Selection
Feature selection is a problem of choosing a subset of relevant features. Researchers have been searching for optimal feature selection methods. `Branch and Bound' and Focus a...
Huan Liu, Hiroshi Motoda, Manoranjan Dash
ICGI
1994
Springer
14 years 1 months ago
Inducing Probabilistic Grammars by Bayesian Model Merging
We describe a framework for inducing probabilistic grammars from corpora of positive samples. First, samples are incorporated by adding ad-hoc rules to a working grammar; subseque...
Andreas Stolcke, Stephen M. Omohundro
ICCL
1992
IEEE
14 years 1 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg