1435 search results - page 217 / 287 » Generalization Error Bounds Using Unlabeled Data |
106
Voted
IWMM
2007
Springer
15 years 8 months ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
123
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
135
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
148
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
There is growing interest in multi-robot frequency-based patrolling, in which a team of robots optimizes its frequency of point visits, for every point in a target work area. In p...
119
Voted
WSDM
2010
ACM
16 years 23 hour ago
2010
ACM
We study the problem of designing a mechanism to rank items in forums by making use of the user reviews such as thumb and star ratings. We compare mechanisms where forum users rat...