Sciweavers

6704 search results - page 408 / 1341
» Testing Scenario-Based Models
Sort
View
KDD
2001
ACM
149views Data Mining» more  KDD 2001»
16 years 7 months ago
Maximum entropy methods for biological sequence modeling
Many of the same modeling methods used in natural languages, speci cally Markov models and HMM's, have also been applied to biological sequence analysis. In recent years, nat...
Eugen C. Buehler, Lyle H. Ungar
ERSHOV
2009
Springer
16 years 1 months ago
Symbolic Bounded Conformance Checking of Model Programs
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
Margus Veanes, Nikolaj Bjørner
IROS
2008
IEEE
101views Robotics» more  IROS 2008»
16 years 1 months ago
Spatial macroscopic models of a bio-inspired robotic swarm algorithm
— We present a comparative study of two spatially resolved macroscopic models of an autonomous robotic swarm. In previous experiments, the collective behavior of 15 autonomous sw...
Heiko Hamann, Heinz Wörn, Karl Crailsheim, Th...
AIED
2005
Springer
16 years 12 days ago
Engagement tracing: using response times to model student disengagement
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...
Joseph E. Beck
KES
2005
Springer
16 years 10 days ago
Fuzzy Logic and Neuro-fuzzy Modelling of Diesel Spray Penetration
: The aim of this study was to demonstrate the effectiveness of an adaptive neuro-fuzzy inference system (ANFIS) for the prediction of diesel spray penetration length in the cylind...
Shaun H. Lee, Robert J. Howlett, Simon D. Walters,...