1411 search results - page 134 / 283 » Interactive Coding for Interactive Proofs |
113
click to vote
IJCAI
1997
15 years 3 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...
138
click to vote
AIS
2006
Springer
15 years 2 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 ...
167
Voted
MMS
1998
15 years 2 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...
152
Voted
SEKE
2010
Springer
15 years 28 days 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...
125
Voted
STTT
2010
15 years 27 days 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...