Sciweavers

12670 search results - page 2232 / 2534
» Requirements Modeling
Sort
View
ICRA
2010
IEEE
162views Robotics» more  ICRA 2010»
15 years 5 months ago
Adaptive multi-robot coordination: A game-theoretic perspective
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
Gal A. Kaminka, Dan Erusalimchik, Sarit Kraus
171
Voted
ICRA
2010
IEEE
107views Robotics» more  ICRA 2010»
15 years 5 months ago
Using stereo for object recognition
— There has been significant progress recently in object recognition research, but many of the current approaches still fail for object classes with few distinctive features, an...
Scott Helmer, David G. Lowe
ICST
2010
IEEE
15 years 5 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...
IEEECIT
2010
IEEE
15 years 5 months ago
Understanding Resource Provisioning for ClimatePrediction.net
—Peer-to-peer computing, involving the participation of thousands of general purpose, public computers, has established itself as a viable paradigm for executing looselycoupled, ...
Malik Shahzad Kaleem Awan, Stephen A. Jarvis
INFOCOM
2010
IEEE
15 years 5 months ago
Pricing and Incentives in Peer-to-Peer Networks
—Peer-to-peer (P2P) networks offer a cost effective and easily deployable framework for sharing user-generated content. However, intrinsic incentive problems reside in P2P networ...
Jaeok Park, Mihaela van der Schaar
« Prev « First page 2232 / 2534 Last » Next »