1274 search results - page 188 / 255 » Educating reflective systems developers |
136
click to vote
SAC
2011
ACM
14 years 6 months ago
2011
ACM
Quadrotor helicopters are micro air vehicles with vertical take-off and landing capabilities controlled by varying the rotation speed of four fixed pitch propellers. Due to their...
127
click to vote
JIIS
2008
15 years 4 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
119
click to vote
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes the VIRGIL (Virtual Meeting Archival) system which was developed to provide a simple, practical, easy-to-use method for recording, indexing and archiving large...
134
click to vote
ERCIMDL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper examines technology developed to support largescale distributed digital libraries. We describe the method used for harvesting collection information using stan...
153
click to vote
CRIWG
2007
15 years 5 months ago
2007
Two of the most important research subjects during the development of intelligent authoring systems (IAS) for education are the modeling of knowledge and the extraction of knowledg...