Sciweavers

2947 search results - page 89 / 590
» Analyzing Program Analyses
Sort
View
90
Voted
VL
2002
IEEE
104views Visual Languages» more  VL 2002»
15 years 7 months ago
First Steps in Programming: A Rationale for Attention Investment Models
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
Alan F. Blackwell
105
Voted
AIR
2010
96views more  AIR 2010»
15 years 2 months ago
Logic programming for combinatorial problems
Combinatorial problems appear in many areas in science, engineering, biomedicine, business, and operations research. This article presents a new intelligent computing approach for...
Toshinori Munakata, Roman Barták
103
Voted
COMPSAC
2009
IEEE
15 years 9 months ago
An Integrated Framework for Checking Concurrency-Related Programming Errors
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
Qichang Chen, Liqiang Wang
ATVA
2007
Springer
77views Hardware» more  ATVA 2007»
15 years 8 months ago
Proving Termination of Tree Manipulating Programs
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tom&...
GECCO
2007
Springer
186views Optimization» more  GECCO 2007»
15 years 8 months ago
Evolving controllers for simulated car racing using object oriented genetic programming
Several different controller representations are compared on a non-trivial problem in simulated car racing, with respect to learning speed and final fitness. The controller rep...
Alexandros Agapitos, Julian Togelius, Simon M. Luc...