3818 search results - page 233 / 764 » Learning from Order Examples |
143
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Tomography is an important technique for noninvasive imaging: images of the interior of an object are computed from several scanned projections of the object, covering a range of a...
112
click to vote
AIME
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...
126
click to vote
IEEEICCI
2002
IEEE
15 years 8 months ago
2002
IEEE
The paper describes the process of program comprehension from the point of view of constructivist theory of learning. According to this view, program comprehension starts with the...
105
click to vote
ECIS
2001
15 years 4 months ago
2001
This paper reports on a distance education project where a threaded discussion board was used for interaction amongst students and teachers. The experiences from the first year of...
138
click to vote
MPC
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...