18918 search results - page 329 / 3784 » Using Technology in Teaching |
132
click to vote
IADIS
2004
15 years 5 months ago
2004
In this paper we present the Intercollege Intranet, which has been developed within the strategic aims of the College to offer better services to students and faculty and to enhan...
136
click to vote
ITRE
2005
IEEE
15 years 10 months ago
2005
IEEE
This work proposes concepts, designs, experiences and lessons learned from some studies of ad hoc learning supported by wireless and mobile technologies. The ad hoc learning activi...
132
click to vote
VISUALIZATION
1992
IEEE
15 years 8 months ago
1992
IEEE
We describe an implementation of a virtual environment for visualizing the geometry of curved spacetime by the display of interactive geodesics. This technique displays the paths ...
186
Voted
ETS
2000
IEEE
15 years 4 months ago
2000
IEEE
During Spring 1998, we embarked on pedagogical journey into unknown terrains -- the terrains of collaborative teaching and World Wide Web instruction. In this paper we present a j...
129
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...