Sciweavers

140 search results - page 27 / 28
» Supporting Lexical Ontology Learning by Relational Explorati...
Sort
View
FASE
2009
Springer
13 years 9 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
DAGSTUHL
2001
13 years 6 months ago
A Language and System for Constructing and Presenting Low Fidelity Algorithm Visualizations
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...
Christopher D. Hundhausen, Sarah A. Douglas
IIE
2006
185views more  IIE 2006»
13 years 5 months ago
ICT Teaching Experience Sharing in Higher Education: an Education Development Approach
Abstract. With the growing awareness of the scholarship of teaching and the appropriate incorporation of Information and Communications Technologies (ICT) in higher education, ther...
Jacky Wai-cheong Pow
ICCV
2009
IEEE
13 years 3 months ago
Landmark classification in large-scale image collections
With the rise of photo-sharing websites such as Facebook and Flickr has come dramatic growth in the number of photographs online. Recent research in object recognition has used su...
Yunpeng Li, David J. Crandall, Daniel P. Huttenloc...
SIGUCCS
2003
ACM
13 years 10 months ago
Teaching with technology, setting an example
Providing instructional technology support for faculty requires a range of skills, from knowledge of software and hardware, to an ability to communicate, teach workshops, and rela...
Trevor Murphy, Mika Hirai