1893 search results - page 130 / 379 » Computational composites |
133
click to vote
NIPS
1993
15 years 6 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...
156
Voted
FQAS
2009
Springer
15 years 11 months 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...
147
click to vote
ARTS
1999
Springer
15 years 9 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...
183
click to vote
FORTE
2009
15 years 2 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 ...
157
click to vote
JUCS
2010
14 years 11 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...