1593 search results - page 42 / 319 » A visual programming system for automated problem solving |
131
Voted
ASP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
164
click to vote
SOFTVIS
2010
ACM
15 years 3 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
118
Voted
VLDB
2001
ACM
15 years 8 months ago
2001
ACM
We present new techniques for supervised wrapper generation and automated web information extraction, and a system called Lixto implementing these techniques. Our system can gener...
145
Voted
IJAIT
2006
15 years 3 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
138
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for represen...