7340 search results - page 1218 / 1468 » The Behavior of Tutoring Systems |
184
click to vote
GPCE
2007
Springer
16 years 24 days ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
168
click to vote
GRID
2007
Springer
16 years 24 days ago
2007
Springer
—The functional heterogeneity of non-dedicated computational grids will increase with the inclusion of resources from desktop grids, P2P systems, and even mobile grids. Machine f...
195
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
New architectures for Brain-Machine Interface communication and control use mixture models for expanding rehabilitation capabilities of disabled patients. Here we present and test ...
155
click to vote
ICTCS
2007
Springer
16 years 23 days ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
193
click to vote
ILC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...