1592 search results - page 105 / 319 » The state of the email address |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Software systems of today are characterized by increasing size, complexity, distribution, heterogeneity, and lifespan. Understanding and supporting the interaction between softwar...
ICRA
2009
IEEE
14 years 4 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...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We address general filtering problems on the Euclidean group SE(3). We first generalize, to stochastic nonlinear systems evolving on SE(3), the particle filter of Li...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
The reasons for the lack of uptake of the semantic web amongst ordinary users can be attributed to technology perception, comprehensibility and ease of use. To address these three ...
SPIN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...