1269 search results - page 92 / 254 » Learning Correction Grammars |
139
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
140
Voted
SEKE
2007
Springer
15 years 11 months ago
2007
Springer
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...
159
Voted
ISNN
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a learning framework for blind source separation (BSS), in which the BSS is formulated as generalized Eigenvalue (GE) problem. Compared to the typical informati...
136
click to vote
COLT
2007
Springer
15 years 11 months ago
2007
Springer
In the standard model of observational learning, n agents sequentially decide between two alternatives a or b, one of which is objectively superior. Their choice is based on a stoc...
208
click to vote
VL
2010
IEEE
15 years 3 months ago
2010
IEEE
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a “prog...