1411 search results - page 134 / 283 » Interactive Coding for Interactive Proofs |
IJCAI
1997
14 years 11 months ago
1997
This paper presents an interactive method for building a controller for dynamic systems by using a combination of knowledge acquisition and machine learning techniques. The aim is...
103
click to vote
AIS
2006
Springer
14 years 10 months ago
2006
Springer
Abstract This article attempts to demystify computer vision for novice programmers through a survey of new applications in the arts, system design considerations, and contemporary ...
116
click to vote
MMS
1998
14 years 9 months ago
1998
This paper explores the problems associated with the multicasting of continuous media to support multimedia group applications. The interaction between multicasting and the deliver...
SEKE
2010
Springer
14 years 8 months ago
2010
Springer
The technological progress designing new devices and the scientific growth in the field of Human-Computer Interaction are enabling new interaction modalities to move from resear...
STTT
2010
14 years 8 months ago
2010
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...