Sciweavers

5387 search results - page 316 / 1078
» Generating generic functions
Sort
View
LREC
2008
180views Education» more  LREC 2008»
15 years 8 months ago
MaltEval: an Evaluation and Visualization Tool for Dependency Parsing
This paper presents a freely available evaluation tool for dependency parsing, MaltEval (http://w3.msi.vxu.se/users/jni/malteval). It is flexible and extensible, and provides func...
Jens Nilsson, Joakim Nivre
NIPS
2007
15 years 8 months ago
Hierarchical Penalization
Hierarchical penalization is a generic framework for incorporating prior information in the fitting of statistical models, when the explicative variables are organized in a hiera...
Marie Szafranski, Yves Grandvalet, Pierre Morizet-...
UAI
1998
15 years 8 months ago
Large Deviation Methods for Approximate Probabilistic Inference
We study two-layer belief networks of binary random variables in which the conditional probabilities Pr childjparents depend monotonically on weighted sums of the parents. In larg...
Michael J. Kearns, Lawrence K. Saul
JAR
2008
105views more  JAR 2008»
15 years 6 months ago
Proof Synthesis and Reflection for Linear Arithmetic
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
Amine Chaieb, Tobias Nipkow
CSCW
2002
ACM
15 years 6 months ago
Clover architecture for groupware
In this paper we present the Clover architectural model, a new conceptual architectural model for groupware. Our model results from the combination of the layer approach of Dewan&...
Yann Laurillau, Laurence Nigay