630 search results - page 77 / 126 » Stateful Aspects in JAsCo |
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— This article addresses the fast solution of a Quadratic Program underlying a Linear Model Predictive Control scheme that generates walking motions. We introduce an algorithm wh...
LORI
2009
Springer
14 years 2 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
ISPDC
2005
IEEE
14 years 1 months ago
2005
IEEE
Online travel support systems have often been cited as an ideal proving ground for agent-based architectures, yet no working systems have materialized. Over the last few years we ...
IWPC
2005
IEEE
14 years 1 months ago
2005
IEEE
Interoperability is the challenge involved in getting software components to work together. This working session discusses in depth the state of the art in reengineering tool inte...
CIVR
2003
Springer
14 years 27 days ago
2003
Springer
We have witnessed a decade of exploding research interest in multimedia content analysis. The goal of content analysis has been to derive automatic methods for high-level descripti...