1893 search results - page 130 / 379 » Computational composites |
157
click to vote
NIPS
1993
15 years 7 months ago
1993
We consider the problem of how the CNS learns to control dynamics of a mechanical system. By using a paradigm where a subject's hand interacts with a virtual mechanical envir...
180
click to vote
FQAS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
173
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
204
click to vote
FORTE
2009
15 years 4 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
187
click to vote
JUCS
2010
15 years 1 months ago
2010
: This paper examines the personalization of online training simulations which are a key modern approach in computer aided education. More specifically it focuses on the difficulti...