254 search results - page 17 / 51 » A Behavioral Module System for the Pi-Calculus |
ISPDC
2010
IEEE
14 years 10 months ago
2010
IEEE
—Providing independent uniform samples from a system population poses considerable problems in highly dynamic settings, like P2P systems, where the number of participants and the...
AAAI
1990
15 years 1 months ago
1990
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
ICMCS
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we propose a novel fusion strategy which fuses information from multiple physical traits via a cascading verification process. In the proposed system users are veri...
117
click to vote
NCA
2010
IEEE
14 years 6 months ago
2010
IEEE
In this paper we address the challenge of realizing full-body behaviors in scalable modular robots. We present an experimental study of a biologically inspired approach to organize...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception t...