Sciweavers

345 search results - page 52 / 69
» On a new model for automatic text categorization based on Ve...
Sort
View
ICRA
1998
IEEE
128views Robotics» more  ICRA 1998»
13 years 11 months ago
Hybrid, High-Precision Localisation for the Mail Distributing Mobile Robot System MOPS
This paper describes the new localisation algorithms under implementation for the mail distributing mobile robot, MOPS, of the Institute of Robotics, Swiss Federal Institute of Te...
Kai Oliver Arras, Sjur J. Vestli
NIPS
2001
13 years 8 months ago
Quantizing Density Estimators
We suggest a nonparametric framework for unsupervised learning of projection models in terms of density estimation on quantized sample spaces. The objective is not to optimally re...
Peter Meinicke, Helge Ritter
ICSE
2010
IEEE-ACM
13 years 9 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro
WWW
2003
ACM
14 years 8 months ago
A Context-Based Information Agent for Supporting Intelligent Distance Learning Environments
The large amount of information now available on the Web can play a prominent role in building a cooperative intelligent distance learning environment. We propose a system to prov...
Mohammed Abdel Razek, Claude Frasson, Marc Kaltenb...
EMNLP
2011
12 years 7 months ago
Semi-Supervised Recursive Autoencoders for Predicting Sentiment Distributions
We introduce a novel machine learning framework based on recursive autoencoders for sentence-level prediction of sentiment label distributions. Our method learns vector space repr...
Richard Socher, Jeffrey Pennington, Eric H. Huang,...