Sciweavers

2211 search results - page 139 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
47
Voted
ICRA
2007
IEEE
128views Robotics» more  ICRA 2007»
15 years 4 months ago
Mixed Initiative Control of Autonomous Vehicles
— In this paper we propose a systematic way of incorporating human inputs in navigation plans. The proposed controller is based on a new class of navigation function based contro...
Savvas G. Loizou, Vijay Kumar
TACS
2001
Springer
15 years 2 months ago
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. Today the main open question in the theory of lossy channel sy...
Ph. Schnoebelen
ROBOCUP
1999
Springer
113views Robotics» more  ROBOCUP 1999»
15 years 2 months ago
11Monkeys Description
The major purpose of our research is to study cooperative planning for multi-agent system in time-critical environment. The RoboCup simulator league is the most interesting target ...
Shuhei Kinoshita, Yoshikazu Yamamoto
CORR
2008
Springer
143views Education» more  CORR 2008»
14 years 10 months ago
On Reliability of Dynamic Addressing Routing Protocols in Mobile Ad Hoc Networks
In this paper, a reliability analysis is carried out to state a performance comparison between two recently proposed proactive routing algorithms. These protocols are able to scale...
Marcello Caleffi, Giancarlo Ferraiuolo, Luigi Paur...
MEMOCODE
2010
IEEE
14 years 8 months ago
Monitoring temporal SystemC properties
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Deian Tabakov, Moshe Y. Vardi