620 search results - page 47 / 124 » Decidability Problems for Actor Systems |
NOMS
2008
IEEE
15 years 4 months ago
2008
IEEE
— In simple and monolithic systems such as our current home gateways, monitoring is often overlooked: the home user can only reboot the gateway when there is a problem. In next-g...
IJCNN
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— One of the major challenges in both action generation for robotics and in the understanding of human motor control is to learn the “building blocks of movement genera...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
We study the complexity of influencing elections through bribery: How computationally complex is it for an external actor to determine whether by paying certain voters to change t...
CVPR
2011
IEEE
14 years 1 months ago
2011
IEEE
Cameras are ubiquitous everywhere and hold the promise of significantly changing the way we live and interact with our environment. Human activity recognition is central to under...
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
Publish-subscribe (pub-sub) systems are useful for many applications, including pervasive environments. In the latter context, however, great care must be taken to preserve the pr...