Sciweavers

1361 search results - page 13 / 273
» Simulation for recurring decisions
Sort
View
DAC
1996
ACM
14 years 17 days ago
Issues and Answers in CAD Tool Interoperability
CAD tool interoperability issues are a recurring impediment to constructing a design methodology, especially if the methodology incorporates point tools from several vendors. Failu...
Mike Murray, Uwe B. Meding, Bill Berg, Yatin Trive...
KI
2008
Springer
13 years 8 months ago
Learning Dance Movements by Imitation: A Multiple Model Approach
Abstract. Imitation learning is an intuitive and easy way of programming robots. Instead of specifying motor commands, you simply show the robot what to do. This paper presents a m...
Axel Tidemann, Pinar Öztürk
QEST
2007
IEEE
14 years 2 months ago
A framework to design and solve Markov Decision Well-formed Net models
Marco Beccuti, Daniele Codetta Raiteri, Giuliana F...
QEST
2006
IEEE
14 years 2 months ago
Game-based Abstraction for Markov Decision Processes
Marta Z. Kwiatkowska, Gethin Norman, David Parker
SSS
2009
Springer
14 years 3 months ago
Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation
: The Borowsky-Gafni (BG) simulation algorithm is a powerful tool that allows a set of t + 1 asynchronous sequential processes to wait-free simulate (i.e., despite the crash of up ...
Damien Imbs, Michel Raynal