Sciweavers

7197 search results - page 1147 / 1440
» On the computational power of BlenX
Sort
View
AIPS
2008
15 years 9 months ago
CircuitTSAT: A Solver for Large Instances of the Disjunctive Temporal Problem
In this paper, we report on a new solver for large instances of the Disjunctive Temporal Problem (DTP). Our solver is based primarily on the idea of employing "compact" ...
Blaine Nelson, T. K. Satish Kumar
WSC
2007
15 years 9 months ago
Controlled sequential bifurcation for software reliability study
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
Jun Xu, Feng Yang, Hong Wan
GECCO
2010
Springer
180views Optimization» more  GECCO 2010»
15 years 8 months ago
Coevolution of heterogeneous multi-robot teams
Evolving multiple robots so that each robot acting independently can contribute to the maximization of a system level objective presents significant scientific challenges. For e...
Matt Knudson, Kagan Tumer
ASSETS
2008
ACM
15 years 8 months ago
Brain-controlled finite state machine for wheelchair navigation
This proposal is about a brain-controlled electrically powered wheelchair. The system comprises a brain-computer interface based on steady-state visual evoked potentials and a pro...
Amir Teymourian, Thorsten Lüth, Axel Graeser,...
AUSDM
2008
Springer
229views Data Mining» more  AUSDM 2008»
15 years 8 months ago
Minors as Miners - Modelling and Evaluating Ontological and Linguistic Learning
Growing up is in large measure learning about the world and our social and linguistic environment. We might call this data mining, although it is far more multimodal and immersive...
David M. W. Powers
« Prev « First page 1147 / 1440 Last » Next »