Sciweavers

304 search results - page 31 / 61
» An Online Programming Assessment Tool
Sort
View
PASTE
2005
ACM
15 years 11 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...
152
Voted
AAAI
2006
15 years 7 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...
258
Voted
AICI
2010
15 years 4 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»
16 years 4 days 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
16 years 18 days 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