Sciweavers

3378 search results - page 145 / 676
» A universe of binding and computation
Sort
View
TPHOL
1991
IEEE
15 years 1 months ago
First Steps Towards Automating Hardware Proofs in HOL
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
Ramayya Kumar, Thomas Kropf, Klaus Schneider
IJCAI
2003
14 years 11 months ago
SVMC: Single-Class Classification With Support Vector Machines
Single-Class Classification (SCC) seeks to distinguish one class of data from the universal set of multiple classes. We present a new SCC algorithm that efficiently computes an ac...
Hwanjo Yu
INTERACT
2003
14 years 11 months ago
HCI Education in the Czech Republic
: In this paper we report on some problems arising during the building of an educational system in the area of human computer interaction in the Czech Republic. An overview of teac...
Václav Matousek, Pavel Slavík
CORR
2004
Springer
83views Education» more  CORR 2004»
14 years 9 months ago
A Comparison of Cryptography Courses
The author taught two courses on cryptography, one at Duke University aimed at non-mathematics majors and one at Rose-Hulman Institute of Technology aimed at mathematics and comput...
Joshua Holden
ETS
2000
IEEE
155views Hardware» more  ETS 2000»
14 years 9 months ago
Using technologies in teaching: an initiative in academic staff development
Academic staff development in the pedagogical applications of new technologies is fundamental to the transformation of teaching and learning in tertiary education settings. We pre...
Christine Spratt, Stuart Palmer, Jo Coldwell