Sciweavers

595 search results - page 13 / 119
» Predictive State Representations with State Space Partitioni...
Sort
View
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
15 years 2 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
93
Voted
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
15 years 5 months ago
Learning sequential visual attention control through dynamic state space discretization
² Similar to humans and primates, artificial creatures like robots are limited in terms of allocation of their resources to huge sensory and perceptual information. Serial process...
Ali Borji, Majid Nili Ahmadabadi, Babak Nadjar Ara...
ACSC
2008
IEEE
15 years 11 days ago
An investigation of the state formation and transition limitations for prediction problems in recurrent neural networks
Recurrent neural networks are able to store information about previous as well as current inputs. This "memory" allows them to solve temporal problems such as language r...
Angel Kennedy, Cara MacNish
CDC
2009
IEEE
168views Control Systems» more  CDC 2009»
15 years 3 months ago
Balanced state-space representations: a polynomial algebraic approach
Abstract— We show how to compute a minimal Riccatibalanced state map and a minimal Riccati-balanced state space representation starting from an image representation of a strictly...
Paolo Rapisarda, Harry L. Trentelman
CASES
2005
ACM
15 years 9 days ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe