254 search results - page 17 / 51 » A Behavioral Module System for the Pi-Calculus |
146
click to vote
ISPDC
2010
IEEE
15 years 3 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...
145
click to vote
AAAI
1990
15 years 6 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...
145
click to vote
ICMCS
2007
IEEE
15 years 11 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...
178
click to vote
NCA
2010
IEEE
15 years 3 days 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...
130
click to vote
SAC
2009
ACM
16 years 4 days 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...