Sciweavers

123 search results - page 18 / 25
» Abstracting out Byzantine Behavior
Sort
View
TITS
2008
101views more  TITS 2008»
13 years 7 months ago
Lane-Change Fuzzy Control in Autonomous Vehicles for the Overtaking Maneuver
Abstract--The automation of the overtaking maneuver is considered to be one of the toughest challenges in the development of autonomous vehicles. This operation involves two vehicl...
José Eugenio Naranjo, Carlos Gonzále...
TWC
2008
147views more  TWC 2008»
13 years 7 months ago
On antijamming in general CDMA systems-part I: multiuser capacity analysis
Abstract--The capacity of a general multiuser CDMA jamming channel is analyzed when the receiver has or lacks jammer state information. Analyses are carried out for noncooperative ...
Reza Nikjah, Norman C. Beaulieu
AAMAS
2000
Springer
13 years 7 months ago
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
Munindar P. Singh
FMSD
2002
81views more  FMSD 2002»
13 years 7 months ago
A Notation and Logic for Mobile Computing
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
Gruia-Catalin Roman, Peter J. McCann
CORR
1999
Springer
93views Education» more  CORR 1999»
13 years 7 months ago
Empirically Evaluating an Adaptable Spoken Dialogue System
Abstract. Recent technological advances have made it possible to build real-time, interactive spoken dialogue systems for a wide variety of applications. However, when users do not...
Diane J. Litman, Shimei Pan