Sciweavers

59 search results - page 8 / 12
» Uniqueness of integer solution of linear equations
Sort
View
SIAMCO
2002
86views more  SIAMCO 2002»
14 years 9 months ago
On the Observability and Detectability of Continuous-Time Markov Jump Linear Systems
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....
Eduardo F. Costa, João Bosco Ribeiro do Val
94
Voted
IPPS
1998
IEEE
15 years 1 months ago
Processor Lower Bound Formulas for Array Computations and Parametric Diophantine Systems
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...
Peter R. Cappello, Ömer Egecioglu
99
Voted
PAMI
2010
178views more  PAMI 2010»
14 years 4 months ago
Shape from Specular Flow
Specular flow is the motion field induced on the image plane by the movement of points reflected by a curved, mirror-like surface. This flow provides information about surface sha...
Yair Adato, Yuriy Vasilyev, Todd Zickler, Ohad Ben...
CVPR
2011
IEEE
14 years 5 months ago
Shape from Specular Flow: Is One Flow Enough?
Specular flow is the motion field induced on the image plane by the movement of points reflected by a curved, mirror-like surface. This flow provides information about surface...
Yuriy Vasilyev, Todd Zickler, Steven Gortler, Ohad...
ICCD
2004
IEEE
105views Hardware» more  ICCD 2004»
15 years 6 months ago
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation
In this paper we discuss the application of circuit-based logical reasoning to simplify optimization problems expressed as integer linear programs (ILP) over circuit states. We de...
Donald Chai, Andreas Kuehlmann