Sciweavers

814 search results - page 79 / 163
» Machine Translation by Case Generalization
Sort
View
132
Voted
PKDD
2010
Springer
160views Data Mining» more  PKDD 2010»
15 years 1 months ago
Entropy and Margin Maximization for Structured Output Learning
Abstract. We consider the problem of training discriminative structured output predictors, such as conditional random fields (CRFs) and structured support vector machines (SSVMs)....
Patrick Pletscher, Cheng Soon Ong, Joachim M. Buhm...
149
Voted
FROCOS
2005
Springer
15 years 9 months ago
Connecting a Logical Framework to a First-Order Logic Prover
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
Andreas Abel, Thierry Coquand, Ulf Norell
ER
1999
Springer
110views Database» more  ER 1999»
15 years 7 months ago
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating
During the process of updating a database, two interrelated problems could arise. On one hand, when an update is applied to the database, integrity constraints could become violat...
Enric Mayol, Ernest Teniente
159
Voted
ESA
2006
Springer
139views Algorithms» more  ESA 2006»
15 years 7 months ago
Stochastic Shortest Paths Via Quasi-convex Maximization
Abstract. We consider the problem of finding shortest paths in a graph with independent randomly distributed edge lengths. Our goal is to maximize the probability that the path len...
Evdokia Nikolova, Jonathan A. Kelner, Matthew Bran...
146
Voted
VMV
2008
129views Visualization» more  VMV 2008»
15 years 4 months ago
Shape Median Based on Symmetric Area Differences
Median averaging is a powerful averaging concept on sets of vector data in finite dimensions. A generalization of the median for shapes in the plane is introduced. The underlying ...
Benjamin Berkels, Gina Linkmann, Martin Rumpf