Sciweavers

4894 search results - page 269 / 979
» Dynamic Abstraction Planning
Sort
View
NECO
2008
156views more  NECO 2008»
15 years 6 months ago
Dynamical Constraints on Using Precise Spike Timing to Compute in Recurrent Cortical Networks
ns. We have previously developed an abstract dynamical system for networks of spiking neurons that has allowed us to identify the criterion for the stationary dynamics of a network...
Arunava Banerjee, Peggy Seriès, Alexandre P...
FAC
2010
106views more  FAC 2010»
15 years 4 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...
CDC
2010
IEEE
145views Control Systems» more  CDC 2010»
15 years 1 months ago
Design and experimental implementation of a compliant hybrid zero dynamics controller for walking on MABEL
Abstract-- This paper extends the method of virtual constraints and hybrid zero dynamics, developed for rigid robots with a single degree of underactuation, to MABEL, a planar bipe...
Koushil Sreenath, Hae-Won Park, Ioannis Poulakakis...
TSMC
2010
15 years 1 months ago
Second-Order Consensus for Multiagent Systems With Directed Topologies and Nonlinear Dynamics
Abstract--This paper considers a second-order consensus problem for multiagent systems with nonlinear dynamics and directed topologies where each agent is governed by both position...
Wenwu Yu, Guanrong Chen, Ming Cao, Jürgen Kur...
181
Voted
PAKDD
2009
ACM
124views Data Mining» more  PAKDD 2009»
16 years 1 months ago
Dynamic Exponential Family Matrix Factorization
Abstract. We propose a new approach to modeling time-varying relational data such as e-mail transactions based on a dynamic extension of matrix factorization. To estimate effectiv...
Kohei Hayashi, Junichiro Hirayama, Shin Ishii