1972 search results - page 363 / 395 » Testing Mobile and Distributed Systems: Method and Experimen... |
165
click to vote
ATAL
2009
Springer
16 years 16 days ago
2009
Springer
We consider the setting of multiple collaborative agents trying to complete a set of tasks as assigned by a centralized controller. We propose a scalable method called“Assignmen...
144
click to vote
ISSTA
2009
ACM
16 years 13 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
150
click to vote
IEEEPACT
2008
IEEE
16 years 10 days ago
2008
IEEE
This paper presents and characterizes the Princeton Application Repository for Shared-Memory Computers (PARSEC), a benchmark suite for studies of Chip-Multiprocessors (CMPs). Prev...
173
click to vote
WACV
2008
IEEE
16 years 9 days ago
2008
IEEE
In this paper, we tackle robust human pose recognition using unlabelled markers obtained from an optical marker-based motion capture system. A coarse-to-fine fast pose matching al...
171
click to vote
IROS
2007
IEEE
16 years 7 days ago
2007
IEEE
Abstract— We propose to improve the locomotive performance of humanoid robots by using approximated biped stepping and walking dynamics with reinforcement learning (RL). Although...