3983 search results - page 535 / 797 » Conceptual logic programs |
150
click to vote
GRAPHICSINTERFACE
1996
15 years 5 months ago
1996
Many educators have used Algorithm Visualization (AV) to teach students of computer science about how computer algorithms work. Our study sheds light on two important questions: (...
115
click to vote
CACM
2007
15 years 4 months ago
2007
ACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it poss...
140
click to vote
UIST
2010
ACM
15 years 1 months ago
2010
ACM
This paper introduces architectural and interaction patterns for integrating crowdsourced human contributions directly into user interfaces. We focus on writing and editing, compl...
145
click to vote
JMLR
2012
13 years 6 months ago
2012
Unsupervised discovery of latent representations, in addition to being useful for density modeling, visualisation and exploratory data analysis, is also increasingly important for...
164
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...