193 search results - page 18 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
154
Voted
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper, we present a robust feature extraction framework based on informationtheoretic learning. Its formulated objective aims at simultaneously maximizing the Renyi's...
177
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
We show that classic PRE is also a maximum flow problem, thereby revealing the missing link between classic and speculative PRE, and more importantly, establishing a common high-le...
158
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Ranking is an important property that needs to be fully supported by current relational query engines. Recently, several rank-join query operators have been proposed based on rank...
178
Voted
CODES
2007
IEEE
16 years 23 days ago
2007
IEEE
We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circ...
280
click to vote
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
This paper presents a novel formulation, which derives in a smooth minimization problem, to tackle the rigid registration between a given point set and a model set. Unlike most of ...