Sciweavers

145 search results - page 20 / 29
» Generalizing the AGM postulates: preliminary results and app...
Sort
View
RTAS
2002
IEEE
14 years 23 days ago
Feedback Scheduling of Model Predictive Controllers
The paper presents some preliminary results on dynamic scheduling of model predictive controllers (MPCs). In an MPC, the control signal is obtained by on-line optimization of a co...
Dan Henriksson, Anton Cervin, Johan Åkesson,...
ICANN
2001
Springer
14 years 9 days ago
Independent Variable Group Analysis
Humans tend to group together related properties in order to understand complex phenomena. When modeling large problems with limited representational resources, it is important to...
Krista Lagus, Esa Alhoniemi, Harri Valpola
DATE
1999
IEEE
135views Hardware» more  DATE 1999»
14 years 4 days ago
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
João P. Marques Silva, Thomas Glass
ICRA
1998
IEEE
111views Robotics» more  ICRA 1998»
14 years 3 days ago
Observing Pose and Motion Through Contact
This paper investigates how to "observe" a planar object being pushed by a finger. The pushing is governed by a nonlinear system that relates through contact the object ...
Yan-Bin Jia, Michael Erdmann
DASFAA
2009
IEEE
173views Database» more  DASFAA 2009»
13 years 11 months ago
A Uniform Framework for Ad-Hoc Indexes to Answer Reachability Queries on Large Graphs
Graph-structured databases and related problems such as reachability query processing have been increasingly relevant to many applications such as XML databases, biological databas...
Linhong Zhu, Byron Choi, Bingsheng He, Jeffrey Xu ...