6355 search results - page 311 / 1271 » From Logic to Games |
207
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Practical supervised learning scenarios involving subjectively evaluated data have multiple evaluators, each giving their noisy version of the hidden ground truth. Majority logic ...
209
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
172
click to vote
WILF
2009
Springer
16 years 1 months ago
2009
Springer
Barycentric algebras have seen widespread application in the modeling of convex sets, semilattices, and quantum mechanics. Recently, they were developed further to encompass Boolea...
147
Voted
CIE
2010
Springer
15 years 11 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
155
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...