Sciweavers

1288 search results - page 113 / 258
» Visual Generalization in Programming by Example
Sort
View
123
Voted
UIST
2003
ACM
15 years 8 months ago
A molecular architecture for creating advanced GUIs
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
Eric Lecolinet
146
Voted
SIGSOFT
2010
ACM
15 years 18 days ago
Using dynamic analysis to create trace-focused user interfaces for IDEs
This research demonstration presents the tool, Dynamic Interactive Views for Reverse Engineering (Diver). Diver supports software understanding through a trace focused user interf...
Del Myers, Margaret-Anne D. Storey
220
Voted
POPL
2008
ACM
16 years 3 months ago
Proving non-termination
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...
130
Voted
EICS
2010
ACM
15 years 7 months ago
Using ensembles of decision trees to automate repetitive tasks in web applications
Web applications such as web-based email, spreadsheets and form filling applications have become ubiquitous. However, many of the tasks that users try to accomplish with such web ...
Zachary Bray, Per Ola Kristensson
122
Voted
COGSR
2011
105views more  COGSR 2011»
14 years 9 months ago
Inductive rule learning on the knowledge level
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
Ute Schmid, Emanuel Kitzelmann