Sciweavers

11436 search results - page 151 / 2288
» Modeling Real Reasoning
Sort
View
IV
2003
IEEE
148views Visualization» more  IV 2003»
15 years 8 months ago
Real-Time Expressive Rendering of City Models
City models have become central elements for visually communicating spatial information related to urban areas and have manifold applications. Our real-time orealistic rendering t...
Jürgen Döllner, Maike Walther
SAFECOMP
1998
Springer
15 years 7 months ago
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
Vincent David, Jean Delcoigne, Evelyne Leret, Alai...
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 4 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
ICONIP
2010
15 years 1 months ago
Learning Basis Representations of Inverse Dynamics Models for Real-Time Adaptive Control
Abstract. In this paper, we propose a novel approach for adaptive control of robotic manipulators. Our approach uses a representation of inverse dynamics models learned from a vari...
Yasuhito Horiguchi, Takamitsu Matsubara, Masatsugu...
HAIS
2011
Springer
14 years 6 months ago
Interval Type-2 Fuzzy Modelling and Simulated Annealing for Real-World Inventory Management
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
Simon Miller, Mario A. Góngora, Robert John