Sciweavers

417 search results - page 12 / 84
» Extending the Hegselmann-Krause Model I
Sort
View
ROBIO
2006
IEEE
122views Robotics» more  ROBIO 2006»
15 years 5 months ago
Non-smooth 3D Modeling of a Snake Robot with External Obstacles
Abstract— In this paper we extend a non-smooth 3D mathematical model of a snake robot to also include external obstacles to enable obstacle aided locomotion. The model is based o...
Aksel Andreas Transeth, Remco I. Leine, Christoph ...
ICWL
2009
Springer
15 years 6 months ago
Social Reference Model for Adaptive Web Learning
In this paper, we describe the design steps of extending LAOS, a five-layer framework for generic adaptive web learning authoring, by adding a social layer to capture (and adapt) i...
Fawaz Ghali, Alexandra I. Cristea
ITC
2003
IEEE
114views Hardware» more  ITC 2003»
15 years 5 months ago
Test-Based Model Generation For Legacy Systems
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
VIS
2004
IEEE
145views Visualization» more  VIS 2004»
16 years 27 days ago
Compression, Segmentation, and Modeling of Large-Scale Filamentary Volumetric Data
We describe a method for processing large amounts of volumetric data collected from a Knife Edge Scanning Microscope (KESM). The neuronal data that we acquire consists of thin, br...
Bruce H. McCormick, David Mayerich, John Keyser, P...
FORMATS
2004
Springer
15 years 5 months ago
Model-Checking for Weighted Timed Automata
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
Thomas Brihaye, Véronique Bruyère, J...