Sciweavers

5640 search results - page 920 / 1128
» Parallelizing the Data Cube
Sort
View
83
Voted
BMVC
2002
15 years 3 months ago
Using Points at Infinity for Parameter Decoupling in Camera Calibration
We consider the problem of decoupling translation and rotation for a collection of 3D data related to 2D images by a projection. The main contribution is to show that equations de...
Jean-Yves Guillemaut, Alberto S. Aguado, John Illi...
72
Voted
NSDI
2007
15 years 3 months ago
TightLip: Keeping Applications from Spilling the Beans
Access control misconfigurations are widespread and can result in damaging breaches of confidentiality. This paper presents TightLip, a privacy management system that helps user...
Aydan R. Yumerefendi, Benjamin Mickle, Landon P. C...
ISSTA
2010
ACM
15 years 2 months ago
Analysis of invariants for efficient bounded verification
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
Juan P. Galeotti, Nicolás Rosner, Carlos L&...
ACL
2008
15 years 2 months ago
Unsupervised Translation Induction for Chinese Abbreviations using Monolingual Corpora
Chinese abbreviations are widely used in modern Chinese texts. Compared with English abbreviations (which are mostly acronyms and truncations), the formation of Chinese abbreviati...
Zhifei Li, David Yarowsky
ERSA
2007
177views Hardware» more  ERSA 2007»
15 years 2 months ago
Energy-Aware System Synthesis for Reconfigurable Chip Multiprocessors
- Even though state-of-the-art FPGAs present new opportunities in exploring low-cost high-performance architectures for floating-point scientific applications, they also pose serio...
Xiaofang Wang, Sotirios G. Ziavras, Jie Hu