Sciweavers

4631 search results - page 250 / 927
» Experiences with an Environment Generation System
Sort
View
AIED
2005
Springer
16 years 6 days 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
IJWBC
2007
99views more  IJWBC 2007»
15 years 6 months ago
Exploring mobile information systems for chronically ill adolescent patients
: Adolescent cancer patients have to deal with many dependencies and obligations. Very often they are torn out of their social environment and become isolated because of changing t...
Jan Marco Leimeister, Uta Franziska Knebel, Helmut...
MDM
2009
Springer
269views Communications» more  MDM 2009»
16 years 1 months ago
R-U-In? - Exploiting Rich Presence and Converged Communications for Next-Generation Activity-Oriented Social Networking
—With the growing popularity of social networking, traditional Internet Service Providers (ISPs) and Telecom operators have both started exploring new opportunities to boost thei...
Nilanjan Banerjee, Dipanjan Chakraborty, Koustuv D...
GISCIENCE
2010
Springer
192views GIS» more  GISCIENCE 2010»
15 years 7 months ago
Automatic Extraction of Destinations, Origins and Route Parts from Human Generated Route Directions
Researchers from the cognitive and spatial sciences are studying text descriptions of movement patterns in order to examine how humans communicate and understand spatial informatio...
Xiao Zhang, Prasenjit Mitra, Alexander Klippel, Al...
TPHOL
2009
IEEE
16 years 1 months ago
VCC: A Practical System for Verifying Concurrent C
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, ...