5754 search results - page 113 / 1151 » Multi-class Model M |
121
click to vote
JUCS
2007
15 years 4 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
132
click to vote
BC
2004
15 years 4 months ago
2004
This paper describes a simple computational model of joint torque and impedance in human arm movements that can be used to simulate three-dimensional movements of the (redundant) a...
121
click to vote
BC
1999
15 years 4 months ago
1999
Abstract. This paper discusses similarities between models of adaptive motor control suggested by recent experiments with human and animal subjects, and the structure of a new cont...
143
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We describe the Arabic broadcast transcription system elded by IBM in the GALE Phase 4 machine translation evaluation. Key advances over our Phase 3.5 system include improvements ...
120
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A description of a novel domain-independent framework that automatically generates and fades scaffolding supports for task-oriented learning within exploratory environmen...