553 search results - page 15 / 111 » Learning Meets Verification |
COLT
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present several results related to ranking. We give a general margin-based bound for ranking based on the L∞ covering number of the hypothesis space. Our bound sugge...
COGSCI
2010
13 years 10 months ago
2010
Recent research suggests that language evolution is a process of cultural change, in which linguistic structures are shaped through repeated cycles of learning and use by domain-g...
HICSS
2011
IEEE
13 years 1 months ago
2011
IEEE
The role of managers in a Scrum organization is a topic of high interest with almost no research. Changes in management roles and behaviors were evaluated in a rapidly growing, so...
ENTCS
2008
13 years 10 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
CASE
2011
12 years 9 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...