1565 search results - page 301 / 313 » Teaching |
108
click to vote
IFIP
2000
Springer
15 years 3 months ago
2000
Springer
ducational Resources Information Center) the on-line education abstracts, show 15,000 entries under "computers and education" since 1992. Adoption of some level of inform...
110
click to vote
ISMIR
2000
Springer
15 years 3 months ago
2000
Springer
This presentation will focus primarily on work being done at Indiana University in the area of digital music libraries, with some discussion of related efforts. Indiana University...
KDD
2000
ACM
15 years 3 months ago
2000
ACM
The education domain offers a fertile ground for many interesting and challenging data mining applications. These applications can help both educators and students, and improve th...
104
click to vote
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
103
Voted
EVOW
2010
Springer
15 years 3 months ago
2010
Springer
Recognizing arbitrary objects in images or video sequences is a difficult task for a computer vision system. We work towards automated learning of object detectors from video seque...