1593 search results - page 85 / 319 » A visual programming system for automated problem solving |
142
click to vote
IJACTAICIT
2010
15 years 1 months ago
2010
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
134
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...
118
click to vote
ICCBR
2001
Springer
15 years 8 months ago
2001
Springer
Conversational Case-Based Reasoning (CCBR) systems engage a user in a series of questions and answers to retrieve cases that solve his/her current problem. Help-desk and interactiv...
132
click to vote
JFPLC
2001
15 years 5 months ago
2001
We propose an environment for musical constraint solving, in the visual programming language OpenMusic. We describe an implementation of a local search algorithm, called adaptive s...
118
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...