1411 search results - page 56 / 283 » Interactive Coding for Interactive Proofs |
OOPSLA
2010
Springer
13 years 9 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
WCRE
2010
IEEE
13 years 9 months ago
2010
IEEE
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
Form mapping is the key problem that needs to be solved in order to get access to the hidden web. Currently available solutions for fully automatic mapping are not ready for comme...
CEC
2009
IEEE
14 years 5 months ago
2009
IEEE
— We present a computational model of creative design based on collaborative interactive genetic algorithms. We test our model on floorplanning. We guide the evolution of floor...
ICMCS
2006
IEEE
14 years 5 months ago
2006
IEEE
Automatic counting of people, entering or exiting a region of interest, is very important for both business and security applications. This paper introduces an automatic and robus...