1593 search results - page 65 / 319 » A visual programming system for automated problem solving |
151
Voted
IJCAI
1997
15 years 5 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
122
Voted
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
115
Voted
EUSFLAT
2007
15 years 5 months ago
2007
This paper concerns problem of selection of optimal subset of irredundant unconditional diagnostic tests by means of evolutionary approach. The method of correction of features’...
140
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
An automated assembling of shredded/torn documents (2D) or broken pottery (3D) will support philologists, archaeologists and forensic experts. An automated solution for this task ...
156
click to vote
INFORMS
1998
15 years 3 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...