4100 search results - page 491 / 820 » General Linear Cameras |
203
Voted
CAV
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
164
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
— This paper describes an algorithm for generating provably passive reduced-order N-port models for RLC interconnect circuits. It is demonstrated that, in addition to macromodel ...
194
Voted
ISSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Integer Linear Programming ILP is commonly used in high level and system level synthesis. It is an NP-Complete problem in general cases . There exists some tools that give an o...
191
click to vote
PLDI
1997
ACM
15 years 11 months ago
1997
ACM
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...
206
click to vote
CVPR
1996
IEEE
15 years 11 months ago
1996
IEEE
The problem of determining feature correspondences across multiple views is considered. The term true multi-image" matching is introduced to describe techniques that make ful...