1965 search results - page 250 / 393 » On the analysis of interacting pushdown systems |
AI
2005
Springer
14 years 3 months ago
2005
Springer
The AAAI Mobile Robot Challenge requires robots to start from the entrance of the conference site, find their own way to the registration desk, socially interact with people and p...
FMCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
SIGMETRICS
2010
ACM
14 years 2 months ago
2010
ACM
In this paper, we present a comprehensive analysis of real smartphone usage during a 6-month study of real user activity on the Android G1 smartphone. Our goal is to study the hig...
ICRA
1994
IEEE
14 years 2 months ago
1994
IEEE
We present a general framework for the modelling of a class of mechanical systems for robotic manipulation, consisting of articulated limbs with redundant tendinous actuation and ...
CDVE
2008
Springer
14 years 3 days ago
2008
Springer
Abstract. "Web 2.0" is a term frequently mentioned in media - apparently, applications such as Wikipedia, Social Network Services, Online Shops with integrated recommende...