Sciweavers

3452 search results - page 102 / 691
» On the Study of Negotiation Strategies
Sort
View
134
Voted
PSTV
1992
113views Hardware» more  PSTV 1992»
15 years 2 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
ICRA
2010
IEEE
215views Robotics» more  ICRA 2010»
14 years 11 months ago
Moving game theoretical patrolling strategies from theory to practice: An USARSim simulation
— Game theoretical approaches have been recently used to develop patrolling strategies for mobile robots. The idea is that the patroller and the intruder play a game, whose outco...
Francesco Amigoni, Nicola Basilico, Nicola Gatti, ...
162
Voted
ICRA
2010
IEEE
727views Robotics» more  ICRA 2010»
14 years 11 months ago
Ankle and hip balance control strategies with transitions
— A method for implementing the ankle and hip balance control strategies, well known from studies on human balance control, is suggested. The moment of the acting disturbance for...
Yoshikazu Kanamiya, Shun Ota, Daisuke Sato
132
Voted
CCGRID
2009
IEEE
15 years 1 months ago
Efficient Grid Task-Bundle Allocation Using Bargaining Based Self-Adaptive Auction
To address coordination and complexity issues, we formulate a grid task allocation problem as a bargaining based self-adaptive auction and propose the BarSAA grid task-bundle alloc...
Han Zhao, Xiaolin Li
117
Voted
ESEM
2007
ACM
15 years 4 months ago
Developing Search Strategies for Detecting Relevant Experiments for Systematic Reviews
Information retrieval is an important problem in any evidence-based discipline. Although Evidencebased Software Engineering (EBSE) is not immune to this fact, this question has no...
Óscar Dieste Tubío, Anna Grimá...