Sciweavers

1186 search results - page 44 / 238
» Progressive Modeling
Sort
View
ICRA
2009
IEEE
98views Robotics» more  ICRA 2009»
14 years 3 months ago
Path following for an omnidirectional mobile robot based on model predictive control
— In this paper, the path following problem of an omnidirectional mobile robot has been studied. Given the error dynamic model derived from the robot state vector and the path st...
Kiattisin Kanjanawanishkul, Andreas Zell
ECWEB
2004
Springer
126views ECommerce» more  ECWEB 2004»
14 years 2 months ago
A Model for Multi-party Negotiations with Majority Rule
Our model of multi-party negotiations is a many parties, many issues model. The whole multi-party negotiation consists of a set of mutually influencing bilateral negotiations that...
Sheng Zhang, Fillia Makedon, James Ford, Lin Ai
ICFEM
2004
Springer
14 years 2 months ago
A General Model for Reachability Testing of Concurrent Programs
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
Richard H. Carver, Yu Lei
ATAL
2008
Springer
13 years 11 months ago
Verifying Social Expectations by Model Checking Truncated Paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
Stephen Cranefield, Michael Winikoff
CORR
2008
Springer
81views Education» more  CORR 2008»
13 years 9 months ago
Effect of Tuned Parameters on a LSA MCQ Answering Model
-- This paper presents the current state of a work in progress, whose objective is to better understand the effects of factors that significantly influence the performance of the L...
Alain Lifchitz, Sandra Jhean-Larose, Guy Denhi&egr...