Sciweavers

59 search results - page 8 / 12
» Uniqueness of integer solution of linear equations
Sort
View
107
Voted
SIAMCO
2002
86views more  SIAMCO 2002»
15 years 2 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
141
Voted
IPPS
1998
IEEE
15 years 6 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
158
Voted
PAMI
2010
178views more  PAMI 2010»
14 years 9 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...
136
Voted
CVPR
2011
IEEE
14 years 10 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...
121
Voted
ICCD
2004
IEEE
105views Hardware» more  ICCD 2004»
15 years 11 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