Sciweavers

2586 search results - page 428 / 518
» Automatic Abstraction for Congruences
Sort
View
TROB
2008
86views more  TROB 2008»
14 years 11 months ago
Fusing Monocular Information in Multicamera SLAM
Abstract--This paper explores the possibilities of using monocular simultaneous localization and mapping (SLAM) algorithms in systems with more than one camera. The idea is to comb...
Joan Solà, André Monin, Michel Devy,...
TSP
2008
83views more  TSP 2008»
14 years 11 months ago
Bit and Power Allocation for Goodput Optimization in Coded Parallel Subchannels With ARQ
Abstract--This paper addresses the problem of adaptively allocating the bits and the power among a set of parallel subchannels. A frame-oriented transmission with convolutional cod...
B. Devillers, Jérôme Louveaux, Luc Va...
AIM
2004
14 years 11 months ago
An AI Planning-based Tool for Scheduling Satellite Nominal Operations
Satellite domains are becoming a fashionable area of research within the AI community due to the complexity of the problems that these domains need to solve. With the current US a...
María Dolores Rodríguez-Moreno, Dani...
JSW
2007
133views more  JSW 2007»
14 years 11 months ago
New Functions for Unsupervised Asymmetrical Paraphrase Detection
Abstract— Monolingual text-to-text generation is an emerging research area in Natural Language Processing. One reason for the interest in such generation systems is the possibili...
João Cordeiro, Gaël Dias, Pavel Brazdi...
UMUAI
2008
110views more  UMUAI 2008»
14 years 11 months ago
Modeling self-efficacy in intelligent tutoring systems: An inductive approach
Abstract. Self-efficacy is an individual's belief about her ability to perform well in a given situation. Because selfefficacious students are effective learners, endowing int...
Scott W. McQuiggan, Bradford W. Mott, James C. Les...