Sciweavers

415 search results - page 33 / 83
» Data Translation Between Taxonomies
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
13 years 11 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone
JMLR
2010
100views more  JMLR 2010»
13 years 5 months ago
Parametric Herding
A parametric version of herding is formulated. The nonlinear mapping between consecutive time slices is learned by a form of self-supervised training. The resulting dynamical syst...
Yutian Chen, Max Welling
SDM
2011
SIAM
203views Data Mining» more  SDM 2011»
13 years 1 months ago
Interpreting and Unifying Outlier Scores
Outlier scores provided by different outlier models differ widely in their meaning, range, and contrast between different outlier models and, hence, are not easily comparable o...
Hans-Peter Kriegel, Peer Kröger, Erich Schube...
CLEF
2007
Springer
14 years 5 months ago
DCU and UTA at ImageCLEFPhoto 2007
Dublin City University (DCU) and University of Tampere (UTA) participated in the ImageCLEF 2007 photographic ad-hoc retrieval task with several monolingual and bilingual runs. Our...
Anni Järvelin, Peter Wilkins, Tomasz Adamek, ...
COLING
1990
14 years 7 hour ago
The BICORD System: Combining Lexical Information from Bilingual Corpora and Machine Readable Dictionaries
Our goal is to explore methods for combining structured but incomplete information from dictionaries with the unstructured but more complete information available in corpora for t...
Judith Klavans, Evelyne Tzoukermann