5086 search results - page 603 / 1018 » The Power of Comparative Reasoning |
185
click to vote
TCAD
2010
15 years 1 months ago
2010
Clock mesh networks are well known for their variation tolerance. But their usage is limited to high-end designs due to the significantly high resource requirements compared to clo...
187
click to vote
CGO
2011
IEEE
14 years 10 months ago
2011
IEEE
—This paper describes our trace-based JIT compiler (trace-JIT) for Java developed from a production-quality method-based JIT compiler (method-JIT). We first describe the design a...
221
Voted
JMLR
2012
13 years 9 months ago
2012
We assess the generative power of the mPoTmodel of [10] with tiled-convolutional weight sharing as a model for visual textures by specifically training on this task, evaluating m...
196
click to vote
SDM
2012
SIAM
13 years 9 months ago
2012
SIAM
To date, many active learning techniques have been developed for acquiring labels when training data is limited. However, an important aspect of the problem has often been neglect...
313
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...