Sciweavers

6358 search results - page 1077 / 1272
» Computing spectral sequences
Sort
View
IROS
2009
IEEE
164views Robotics» more  IROS 2009»
16 years 24 days ago
Visual steering of UAV in unknown environments
— In this paper, we propose a novel approach for the visual navigation of unmanned aerial vehicles (UAV). In contrast to most available methods, a single perspective camera is us...
Chunrong Yuan, Fabian Recktenwald, Hanspeter A. Ma...
ISDA
2009
IEEE
16 years 24 days ago
MAHATMA: A Genetic Programming-Based Tool for Protein Classification
Proteins can be grouped into families according to some features such as hydrophobicity, composition or structure, aiming to establish common biological functions. This paper pres...
Denise Fukumi Tsunoda, Alex Alves Freitas, Heitor ...
LICS
2009
IEEE
16 years 24 days ago
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
Jérôme Leroux
ADBIS
2009
Springer
143views Database» more  ADBIS 2009»
16 years 23 days ago
Cost-Based Vectorization of Instance-Based Integration Processes
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
Matthias Böhm, Dirk Habich, Steffen Preissler...
AIED
2009
Springer
16 years 22 days ago
Discovering Tutorial Dialogue Strategies with Hidden Markov Models
Identifying effective tutorial strategies is a key problem for tutorial dialogue systems research. Ongoing work in human-human tutorial dialogue continues to reveal the complex phe...
Kristy Elizabeth Boyer, Eunyoung Ha, Michael D. Wa...
« Prev « First page 1077 / 1272 Last » Next »