Sciweavers

59 search results - page 8 / 12
» Uniqueness of integer solution of linear equations
Sort
View
SIAMCO
2002
86views more  SIAMCO 2002»
14 years 11 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
IPPS
1998
IEEE
15 years 4 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
PAMI
2010
178views more  PAMI 2010»
14 years 6 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 7 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 8 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