2312 search results - page 295 / 463 » Invariance in Property Testing |
ICSE
2011
IEEE-ACM
13 years 1 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
PPOPP
2012
ACM
12 years 6 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
CVPR
2012
IEEE
12 years 26 days ago
2012
IEEE
In this paper, we propose a rank minimization method to fuse the predicted confidence scores of multiple models, each of which is obtained based on a certain kind of feature. Spe...
SIES
2010
IEEE
13 years 8 months ago
2010
IEEE
The aim of this paper is to introduce LinCAN, a CAN driver system for Linux, developed at the Department of Control Engineering of the Czech Technical University in Prague, and to ...
PPDP
2007
Springer
14 years 4 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...