Sciweavers

4345 search results - page 198 / 869
» Temporal Constraint Networks
Sort
View
GECCO
2005
Springer
155views Optimization» more  GECCO 2005»
15 years 10 months ago
Co-evolving recurrent neurons learn deep memory POMDPs
Recurrent neural networks are theoretically capable of learning complex temporal sequences, but training them through gradient-descent is too slow and unstable for practical use i...
Faustino J. Gomez, Jürgen Schmidhuber
CVPR
2009
IEEE
17 years 7 days ago
Recognition of Repetitive Sequential Human Activity
We present a novel framework for recognizing repetitive sequential events performed by human actors with strong temporal dependencies and potential parallel overlap. Our solutio...
Akira Yanagawa, Arun Hampapur, Quanfu Fan, Russell...
MEMOCODE
2008
IEEE
15 years 11 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
FROCOS
2005
Springer
15 years 10 months ago
A Comprehensive Framework for Combined Decision Procedures
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchell...
LFCS
2009
Springer
15 years 9 months ago
ATL with Strategy Contexts and Bounded Memory
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
Thomas Brihaye, Arnaud Da Costa Lopes, Franç...