Sciweavers

887 search results - page 59 / 178
» Representing Systems with Hidden State
Sort
View
BIRTHDAY
2008
Springer
15 years 6 months ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König
KR
2004
Springer
15 years 9 months ago
From Hybrid Systems to Universal Plans Via Domain Compilation
While universal plans tell a system how to reach a goal regardless of what state it is in, such plans can be too large to represent. Hybrid systems execute plans where each action...
Anthony Barrett
CVPR
2007
IEEE
16 years 6 months ago
Belief Propagation in a 3D Spatio-temporal MRF for Moving Object Detection
Previous pixel-level change detection methods either contain a background updating step that is costly for moving cameras (background subtraction) or can not locate object positio...
Zhaozheng Yin, Robert T. Collins
JMLR
2010
169views more  JMLR 2010»
14 years 11 months ago
Factored 3-Way Restricted Boltzmann Machines For Modeling Natural Images
Deep belief nets have been successful in modeling handwritten characters, but it has proved more difficult to apply them to real images. The problem lies in the restricted Boltzma...
Marc'Aurelio Ranzato, Alex Krizhevsky, Geoffrey E....
ORDER
2010
89views more  ORDER 2010»
15 years 2 months ago
On Order Types of Systems of Segments in the Plane
Let r(n) denote the largest integer such that every family C of n pairwise disjoint segments in the plane in general position has r(n) members whose order type can be represented ...
Andrew Suk