Sciweavers

894 search results - page 55 / 179
» Universal Relations and
Sort
View
AIED
2005
Springer
14 years 1 months ago
Automatic Textual Feedback for Guided Inquiry Learning
We briefly introduce the online learning environment INFACT, and then we describe its textual feedback system. The system automatically provides written comments to students as the...
Steven L. Tanimoto, Susan Hubbard, William Winn
APSEC
2002
IEEE
14 years 1 months ago
Tool Interfacing Mechanisms for Programming-for-the-Large and Programming-for-the-Small
Software development needs to be supported at both the organisational process level (programming-for-thelarge) and the detailed coding level (programming-for-thesmall). It is crit...
Yun Yang
ACMMPC
2000
Springer
231views Mathematics» more  ACMMPC 2000»
14 years 12 days ago
Galois Connections and Fixed Point Calculus
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
Roland Carl Backhouse
IPPS
1998
IEEE
14 years 9 days ago
NoWait-RPC: Extending ONC RPC to a Fully Compatible Message Passing System
Locally and functionally distributed applications realized on different system architectures demand a universal, portable and intuitive software utility for interprocess communica...
Thomas Hopfner, Franz Fischer, Georg Färber
WSC
2007
13 years 10 months ago
Validating a network simulation testbed for army UAVs
Auburn University, through the Army’s Aviation and Missile Research, Development and Engineering Center (AMRDEC) has been supporting the Unmanned Systems Initiative (USI) progra...
Stephen Hamilton, Colonel Timothy Schmoyer, J. A. ...