Sciweavers

587 search results - page 76 / 118
» Mathematical Analysis of Multi-Agent Systems
Sort
View
TROB
2008
141views more  TROB 2008»
13 years 11 months ago
3-D Snake Robot Motion: Nonsmooth Modeling, Simulations, and Experiments
A nonsmooth (hybrid) 3-D mathematical model of a snake robot (without wheels) is developed and experimentally validated in this paper. The model is based on the framework of nonsmo...
Aksel Andreas Transeth, Remco I. Leine, Christoph ...
ACL2
2006
ACM
14 years 5 months ago
Phylogenetic trees in ACL2
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
Warren A. Hunt Jr., Serita M. Nelesen
IFIP
2001
Springer
14 years 3 months ago
Semiotics and Intelligent Control
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
Morten Lind
CORR
2010
Springer
174views Education» more  CORR 2010»
13 years 11 months ago
Hybrid Numerical Solution of the Chemical Master Equation
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
Thomas A. Henzinger, Maria Mateescu, Linar Mikeev,...
AIEDU
2005
89views more  AIEDU 2005»
13 years 11 months ago
An Evaluation of a Hybrid Language Understanding Approach for Robust Selection of Tutoring Goals
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
Carolyn Penstein Rosé, Kurt VanLehn