Sciweavers

11436 search results - page 132 / 2288
» Modeling Real Reasoning
Sort
View
JIRS
2007
134views more  JIRS 2007»
15 years 2 months ago
Improving Robustness of Mobile Robots Using Model-based Reasoning
Retaining functionality of a mobile robot in the presence of faults is of particular interest in autonomous robotics. From our experiences in robotics we know that hardware is one ...
Michael W. Hofbaur, Johannes Köb, Gerald Stei...
ICRA
2002
IEEE
160views Robotics» more  ICRA 2002»
15 years 7 months ago
Real Time Simulation of Multizone Elastokinematic Models
— We introduce precomputed multizone elastokinematic models for interactive simulation of multibody kinematic systems which include elastostatic deformations. This enables an eļ¬...
Doug L. James, Dinesh K. Pai
ICML
2007
IEEE
16 years 3 months ago
Scalable modeling of real graphs using Kronecker multiplication
Given a large, real graph, how can we generate a synthetic graph that matches its properties, i.e., it has similar degree distribution, similar (small) diameter, similar spectrum,...
Jure Leskovec, Christos Faloutsos
IPPS
2005
IEEE
15 years 8 months ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
SEW
2003
IEEE
15 years 8 months ago
Adopting a Software Component Model in Real-Time Systems Development
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
Frank Lüders