Sciweavers

2255 search results - page 405 / 451
» Computing a Center-Transversal Line
Sort
View
CSR
2009
Springer
14 years 1 months ago
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
Olaf Beyersdorff, Zenon Sadowski
SPIEVIP
2010
14 years 9 days ago
Unconstrained license plate detection using the Hausdorff distance
This paper reports on a new technique for unconstrained license plate detection in a surveillance context. The proposed algorithm quickly finds license plates by performing the fo...
Marc Lalonde, Samuel Foucher, Langis Gagnon
VISSYM
2007
14 years 9 days ago
Depth Cues and Density in Temporal Parallel Coordinates
This paper introduces Temporal Density Parallel Coordinates (TDPC) and Depth Cue Parallel Coordinates (DCPC) which extend the standard 2D parallel coordinates technique to capture...
Jimmy Johansson, Patric Ljung, Matthew Cooper
ANCS
2008
ACM
13 years 12 months ago
BRICK: a novel exact active statistics counter architecture
In this paper, we present an exact active statistics counter architecture called BRICK (Bucketized Rank Indexed Counters) that can efficiently store per-flow variable-width statis...
Nan Hua, Bill Lin, Jun (Jim) Xu, Haiquan (Chuck) Z...
ASPDAC
2008
ACM
106views Hardware» more  ASPDAC 2008»
13 years 12 months ago
Hierarchical Krylov subspace reduced order modeling of large RLC circuits
In this paper, we propose a new model order reduction approach for large interconnect circuits using hierarchical decomposition and Krylov subspace projection-based model order re...
Duo Li, Sheldon X.-D. Tan