Sciweavers

3692 search results - page 234 / 739
» Active learning and its use in computer science
Sort
View
FMSD
2008
110views more  FMSD 2008»
15 years 6 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
ICIP
2010
IEEE
15 years 4 months ago
Metaface learning for sparse representation based face recognition
Face recognition (FR) is an active yet challenging topic in computer vision applications. As a powerful tool to represent high dimensional data, recently sparse representation bas...
Meng Yang, Lei Zhang, Jian Yang, David Zhang
ICALT
2005
IEEE
16 years 7 days ago
Integrating Wireless Technology in Pocket Electronic Dictionary to Enhance Language Learning
We believe that with regard to the information technology applications in education, one student one computing device will be the future and long-term trend. Many related studies ...
Jen-Kai Liang, Tzu-Chien Liu, Hsue-Yie Wang, Tak-W...
CHI
2006
ACM
16 years 7 months ago
Synchronous broadcast messaging: the use of ICT
IBM Community Tools (ICT) is a synchronous broadcast messaging system in use by a very large, globally distributed organization. ICT is interesting for a number of reasons, includ...
Justin D. Weisz, Thomas Erickson, Wendy A. Kellogg
ICPR
2008
IEEE
16 years 1 months ago
Subject-independent brain computer interface through boosting
This paper presents a subject-independent EEG (Electroencephalogram) classification technique and its application to a P300-based word speller. Due to EEG variations across subje...
Shijian Lu, Cuntai Guan, Haihong Zhang