7404 search results - page 158 / 1481 » New Tools in Education |
174
click to vote
ICADL
2003
Springer
15 years 11 months ago
2003
Springer
There is an increasing need of development of automatic tools to annotate images for effective image searching in digital libraries. In this paper, we present a novel probabilistic...
144
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In recent years, it has become important for researchers, security incident responders and educators to share network logs, and many log anonymization tools and techniques have be...
150
click to vote
TEI
2009
ACM
15 years 11 months ago
2009
ACM
Pendaphonics is a tangible physical-digital-sonic environment and interactive system that engages users in individual, collaborative, group, and distributed interactive experience...
161
click to vote
WSC
2000
15 years 7 months ago
2000
The purpose of this paper is to introduce a new approach to teaching an introductory simulation course using an interactive CD-ROM titled "Simply Simulation". This metho...
155
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subs...