Sciweavers

2049 search results - page 119 / 410
» ICT as a tool for learning to learn
Sort
View
LREC
2008
105views Education» more  LREC 2008»
15 years 7 months ago
Extraction and Evaluation of Keywords from Learning Objects: a Multilingual Approach
We report about a project which brings together Natural Language Processing and eLearning. One of the functionalities developed within this project is the possibility to annotate ...
Lothar Lemnitzer, Paola Monachesi
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
JAIR
2002
120views more  JAIR 2002»
15 years 6 months ago
Learning Geometrically-Constrained Hidden Markov Models for Robot Navigation: Bridging the Topological-Geometrical Gap
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...
Hagit Shatkay, Leslie Pack Kaelbling
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
ICASSP
2011
IEEE
14 years 10 months ago
Versatile and portable DSP platform for learning embedded signal processing
This paper presents a versatile and portable digital signal processing (DSP) platform that is highly suitable for learning embedded signal processing anywhere and anytime. This DS...
Woon-Seng Gan, Abhishek Seth, Sen M. Kuo