Sciweavers

93 search results - page 11 / 19
» Computational Complexity in Non-Turing Models of Computation...
Sort
View
CDC
2008
IEEE
131views Control Systems» more  CDC 2008»
14 years 3 months ago
Explicit model predictive control for linear parameter-varying systems
Abstract— In this paper we demonstrate how one can reformulate the MPC problem for LPV systems to a series of mpLPs by a closed-loop minimax MPC algorithm based on dynamic progra...
Thomas Besselmann, Johan Löfberg, Manfred Mor...
COMPUTER
1998
94views more  COMPUTER 1998»
13 years 8 months ago
Multiprocessors Should Support Simple Memory-Consistency Models
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...
Mark D. Hill
BIRTHDAY
2010
Springer
13 years 9 months ago
The Edge of Graph Transformation - Graphs for Behavioural Specification
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
Arend Rensink
CHI
2011
ACM
13 years 17 days ago
Competing online viewpoints and models of chronic illness
People with chronic health problems use online resources to understand and manage their condition, but many such resources can present competing and confusing viewpoints. We surve...
Jennifer Mankoff, Kateryna Kuksenok, Sara B. Kiesl...
MAGS
2008
149views more  MAGS 2008»
13 years 9 months ago
Agent-Grid Integration Language
The GRID and MAS (Multi-Agent Systems) communities believe in the potential of GRID and MAS to enhance each other as these models have developed significant complementarities. Thu...
Clement Jonquet, Pascal Dugenie, Stefano A. Cerri