193 search results - page 18 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
ICML
2009
IEEE
14 years 9 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...
CC
2006
Springer
14 years 11 days 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...
SIGMOD
2004
ACM
14 years 8 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...
CODES
2007
IEEE
14 years 3 months 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...
ICCV
2011
IEEE
12 years 7 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 ...