1593 search results - page 101 / 319 » A visual programming system for automated problem solving |
107
click to vote
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a form of case-based reuse conducive to the cooperation of multiple CBR agents in problem solving. First, we present a form of constructive adaptation for conļ...
130
click to vote
PATAT
1995
Springer
15 years 7 months ago
1995
Springer
This paper describes the results of a questionnaire on examination timetabling sent to the registrars of ninety ļ¬ve British Universities. The survey asked questions in three spe...
131
click to vote
CASES
2004
ACM
15 years 9 months ago
2004
ACM
Application speciļ¬c processors oļ¬er the potential of rapidly designed logic speciļ¬cally constructed to meet the performance and area demands of the task at hand. Recently, t...
138
click to vote
VL
2003
IEEE
15 years 9 months ago
2003
IEEE
Web services are increasingly attracting attention for their ability to provide standard interfaces to heterogeneous distributed services. Through these standard interfaces, it is...
115
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical veriļ¬cation of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodesāwh...