1655 search results - page 238 / 331 » Visual tool for generative programming |
112
click to vote
VL
2000
IEEE
15 years 5 months ago
2000
IEEE
The accurate formulation of boolean expressions is a notorious problem in programming languages and database query tools. This paper studies the ways that untrained users naturall...
105
click to vote
SIGCSE
2006
ACM
15 years 6 months ago
2006
ACM
interactive teaching materials, primarily because of its integration with the web through the applet mechanism. The 1997 and 1998 ITiCSE conferences convened working groups to deve...
IV
2005
IEEE
15 years 6 months ago
2005
IEEE
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
NPAR
2009
ACM
15 years 7 months ago
2009
ACM
We present a technique for the analysis and re-synthesis of 2D arrangements of stroke-based vector elements. The capture of an artist’s style by the sole posterior analysis of h...
125
Voted
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...