1593 search results - page 139 / 319 » A visual programming system for automated problem solving |
154
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...
153
Voted
MM
2003
ACM
15 years 9 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
127
click to vote
UIST
2004
ACM
15 years 9 months ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
133
click to vote
JIPS
2006
15 years 4 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...
115
click to vote
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...