Sciweavers

1816 search results - page 100 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
APN
1992
Springer
15 years 10 months ago
Towards a Modular Analysis of Coloured Petri Nets
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
Søren Christensen, Laure Petrucci
ICSR
2009
Springer
15 years 4 months ago
Reusing Patterns through Design Refinement
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
Jason O. Hallstrom, Neelam Soundarajan
ICRA
1995
IEEE
151views Robotics» more  ICRA 1995»
15 years 10 months ago
Learning Impedance Control for Robotic Manipulators
—Learning control is a concept for controlling dynamic systems in an iterative manner. It arises from the recognition that robotic manipulators are usually used to perform repeti...
Chien-Chern Cheah, Danwei Wang
WSC
2004
15 years 7 months ago
Hierarchical Production Planning Using a Hybrid System Dynamic - Discrete Event Simulation Architecture
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
Jayendran Venkateswaran, Young-Jun Son, Albert Jon...
GLDV
2001
15 years 7 months ago
Coherence in the Learning System k-med
The advantages of a hypermedia learning system are the possibility to adapt the content to the learner and to maintain the content easily due to the modular structure. The disadva...
Ralf Steinmetz, Cornelia Seeberg, Achim Steinacker