Sciweavers

304 search results - page 31 / 61
» An Online Programming Assessment Tool
Sort
View
PASTE
2005
ACM
14 years 1 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
AAAI
2006
13 years 9 months ago
Extracting Knowledge about Users' Activities from Raw Workstation Contents
A long-standing goal of AI is the development of intelligent workstation-based personal agents to assist users in their daily lives. A key impediment to this goal is the unrealist...
Tom M. Mitchell, Sophie H. Wang, Yifen Huang, Adam...
AICI
2010
13 years 6 months ago
A Cell-Phone Based Brain-Computer Interface for Communication in Daily Life
Moving a brain-computer interface from a laboratory demonstration to real-life applications poses severe challenges to the BCI community. Recently, with advances in the biomedical ...
Yu-Te Wang, Yijun Wang, Tzyy-Ping Jung
VL
2007
IEEE
166views Visual Languages» more  VL 2007»
14 years 1 months ago
Community-Based Scaffolding to Promote End-User Learning
End-user programming provides a unique opportunity to study informal computer science education and knowledge acquisition in the real world. We seek to explore the use of communit...
Brian Dorn
KBSE
2009
IEEE
14 years 2 months ago
Generating Fixes from Object Behavior Anomalies
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
Valentin Dallmeier, Andreas Zeller, Bertrand Meyer