Sciweavers

2496 search results - page 50 / 500
» On covering by translates of a set
Sort
View
CORR
2006
Springer
160views Education» more  CORR 2006»
14 years 12 months ago
Frugality ratios and improved truthful mechanisms for vertex cover
In set-system auctions, there are several overlapping teams of agents, and a task that can be completed by any of these teams. The auctioneer's goal is to hire a team and pay...
Edith Elkind, Leslie Ann Goldberg, Paul W. Goldber...
NAACL
2007
15 years 1 months ago
Automatic Assessment of Student Translations for Foreign Language Tutoring
This paper introduces the use of speech translation technology for a new type of voice-interactive Computer Aided Language Learning (CALL) application. We describe a computer game...
Chao Wang, Stephanie Seneff
IJCAI
2007
15 years 1 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...
FSTTCS
2010
Springer
14 years 9 months ago
Place-Boundedness for Vector Addition Systems with one zero-test
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
Rémi Bonnet, Alain Finkel, Jérô...
COLING
2000
15 years 1 months ago
Chart-Based Transfer Rule Application in Machine Translation
35"ansfer-based Machine Translation systems require a procedure for choosing the set; of transfer rules for generating a target language translation from a given source langu...
Adam Meyers, Michiko Kosaka, Ralph Grishman