Sciweavers

1445 search results - page 140 / 289
» Properties of state spaces and their applications
Sort
View
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
16 years 12 days ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ICPR
2010
IEEE
15 years 12 months ago
Object Tracking by Structure Tensor Analysis
Covariance matrices have recently been a popular choice for versatile tasks like recognition and tracking due to their powerful properties as local descriptor and their low comput...
Michael Donoser, Stefan Kluckner, Horst Bischof
CAIP
1993
Springer
157views Image Analysis» more  CAIP 1993»
15 years 11 months ago
Photometric Stereo for Non-Lambertian Surfaces Using Color Information
One robust method to reconstruct shape is photometric stereo (PMS), which reconstructs surface orientation using the Lambertian reflection properties of the surface material. To i...
Karsten Schlüns
FOCM
2011
113views more  FOCM 2011»
15 years 2 months ago
Finite Resolution Dynamics
We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system havi...
Stefano Luzzatto, Pawel Pilarczyk
190
Voted
QEST
2009
IEEE
16 years 1 months ago
Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes
—In this paper we consider Quasi-Birth-and-Death (QBD) processes where the upward (resp. downward) transitions are restricted to occur only from (resp. to) a subset of the phase ...
Juan F. Pérez, Benny Van Houdt