Sciweavers

814 search results - page 98 / 163
» Machine Translation by Case Generalization
Sort
View
ICFEM
2004
Springer
15 years 8 months ago
Learning to Verify Safety Properties
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
135
Voted
ICALT
2003
IEEE
15 years 8 months ago
Initializing Student Models in Web-Based ITSs: A Generic Approach
The issue of initializing the model of a new student is of great importance for educational applications that aim at offering individualized support to students. In this paper we ...
Victoria Tsiriga, Maria Virvou
132
Voted
PR
2008
144views more  PR 2008»
15 years 3 months ago
Kernel quadratic discriminant analysis for small sample size problem
It is generally believed that quadratic discriminant analysis (QDA) can better fit the data in practical pattern recognition applications compared to linear discriminant analysis ...
Jie Wang, Konstantinos N. Plataniotis, Juwei Lu, A...
JMLR
2012
13 years 5 months ago
Max-Margin Min-Entropy Models
We propose a new family of latent variable models called max-margin min-entropy (m3e) models, which define a distribution over the output and the hidden variables conditioned on ...
Kevin Miller, M. Pawan Kumar, Benjamin Packer, Dan...
109
Voted
ICML
2006
IEEE
16 years 4 months ago
Learning algorithms for online principal-agent problems (and selling goods online)
In a principal-agent problem, a principal seeks to motivate an agent to take a certain action beneficial to the principal, while spending as little as possible on the reward. This...
Vincent Conitzer, Nikesh Garera