Sciweavers

1004 search results - page 148 / 201
» Modeling and Control - Flexible Structure Spacecraft
Sort
View
ET
2000
145views more  ET 2000»
15 years 3 months ago
Fast Test Pattern Generation for Sequential Circuits Using Decision Diagram Representations
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
Jaan Raik, Raimund Ubar
RAS
1998
150views more  RAS 1998»
15 years 3 months ago
Active Markov localization for mobile robots
Localization is the problem of determining the position of a mobile robot from sensor data. Most existing localization approaches are passive, i.e., they do not exploit the opport...
Dieter Fox, Wolfram Burgard, Sebastian Thrun
SAC
2002
ACM
15 years 3 months ago
Simulating evolutionary agent communities with OOCSMP
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
Manuel Alfonseca, Juan de Lara
ECSA
2010
Springer
15 years 2 months ago
Industry taxonomy engineering: the case of the European software ecosystem
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...
Ivo Hunink, Rene van Erk, Slinger Jansen, Sjaak Br...
FAC
2010
148views more  FAC 2010»
15 years 2 months ago
Automating the transformation-based analysis of visual languages
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
Juan de Lara, Hans Vangheluwe