5309 search results - page 814 / 1062 » A high performance Erlang system |
166
click to vote
AAAI
2008
15 years 9 months ago
2008
Spatial scaffolding is a naturally occurring human teaching behavior, in which teachers use their bodies to spatially structure the learning environment to direct the attention of...
203
click to vote
WSC
2007
15 years 9 months ago
2007
Simulation of dynamic complex systems—specifically, those comprised of large numbers of components with stochastic behaviors—for the purpose of probabilistic risk assessment f...
192
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
200
click to vote
ASAP
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we extend the domain of applicability of the E-method [7, 8], as a hardware-oriented method for evaluating elementary functions using polynomial and rational functio...
147
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Matchmaking is the process of introducing two or more agents to each other. Current matchmaking techniques are unidirectional and fail to address large-scale and highly dynamic sy...