Sciweavers

3206 search results - page 224 / 642
» How minds can be computational systems
Sort
View
AUTOMATICA
1999
72views more  AUTOMATICA 1999»
15 years 6 months ago
Observer-controller design for cranes via Lyapunov equivalence
We consider a linearized parameter-varying model of a planar crane and show how a controller can be designed, following the state-feedback stabilization technique for time-varying...
Alessandro Giua, Carla Seatzu, Giampaolo Usai
FORMATS
2010
Springer
15 years 4 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
HPCA
1999
IEEE
15 years 11 months ago
Impulse: Building a Smarter Memory Controller
Impulse is a new memory system architecture that adds two important features to a traditional memory controller. First, Impulse supports application-specific optimizations through...
John B. Carter, Wilson C. Hsieh, Leigh Stoller, Ma...
EDOC
2009
IEEE
15 years 10 months ago
Realizing Correspondences in Multi-viewpoint Specifications
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
José Raúl Romero, Juan Ignacio Jaen,...
ECCV
1998
Springer
16 years 8 months ago
Mobile Robot Localisation Using Active Vision
Active cameras provide a mobile robot with the capability to fixate and track features over a wide field of view. However, their use emphasises serial attention focussing on a succ...
Andrew J. Davison, David W. Murray