Sciweavers

5595 search results - page 710 / 1119
» Comparing Subsumption Optimizations
Sort
View
LPAR
2010
Springer
15 years 5 months ago
SAT Encoding of Unification in EL
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
Franz Baader, Barbara Morawska
MICCAI
2010
Springer
15 years 5 months ago
Multi-Diffusion-Tensor Fitting via Spherical Deconvolution: A Unifying Framework
Abstract. In analyzing diffusion magnetic resonance imaging, multitensor models address the limitations of the single diffusion tensor in situations of partial voluming and fiber c...
Thomas Schultz, Carl-Fredrik Westin, Gordon L. Kin...
202
Voted
NAACL
2010
15 years 5 months ago
Using Mostly Native Data to Correct Errors in Learners' Writing
We present results from a range of experiments on article and preposition error correction for non-native speakers of English. We first compare a language model and errorspecific ...
Michael Gamon
216
Voted
NAACL
2010
15 years 5 months ago
Softmax-Margin CRFs: Training Log-Linear Models with Cost Functions
We describe a method of incorporating taskspecific cost functions into standard conditional log-likelihood (CLL) training of linear structured prediction models. Recently introduc...
Kevin Gimpel, Noah A. Smith
SECON
2010
IEEE
15 years 5 months ago
Trajectory-Aware Communication Solution for Underwater Gliders Using WHOI Micro-Modems
The predictable trajectory of underwater gliders can be used in geographic routing protocols. Factors such as drifting and localization errors cause uncertainty when estimating a g...
Baozhi Chen, Patrick C. Hickey, Dario Pompili