228 search results - page 32 / 46 » A Cloze Test Authoring System and Its Automation |
ICCBR
1999
Springer
15 years 1 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
AR
2002
14 years 9 months ago
2002
This paper reports on advances in the design and development of a high-performance direct-drive joint for robotics and automation. The joint integrates a motor, a torque sensor and...
109
Voted
JAR
2000
14 years 9 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
RTSS
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
76
Voted
ICDE
2009
IEEE
15 years 4 months ago
2009
IEEE
— Information Systems are subject to a perpetual evolution, which is particularly pressing in Web Information Systems, due to their distributed and often collaborative nature. Su...