Sciweavers

2827 search results - page 312 / 566
» Robustness of PSPACE-complete sets
Sort
View
SASN
2005
ACM
16 years 5 days ago
The security of vehicular ad hoc networks
Vehicular networks are likely to become the most relevant form of mobile ad hoc networks. In this paper, we address the security of these networks. We provide a detailed threat an...
Maxim Raya, Jean-Pierre Hubaux
DAGM
2005
Springer
16 years 4 days ago
Vision-Based 3D Object Localization Using Probabilistic Models of Appearance
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...
Christian Plagemann, Thomas Müller, Wolfram B...
FM
2005
Springer
114views Formal Methods» more  FM 2005»
16 years 4 days ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
GECCO
2005
Springer
141views Optimization» more  GECCO 2005»
16 years 4 days ago
Evolving cooperative strategies for UAV teams
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...
Marc D. Richards, L. Darrell Whitley, J. Ross Beve...
IBPRIA
2005
Springer
16 years 4 days ago
An Algorithm for the Detection of Multiple Concentric Circles
This paper presents a method for the detection of multiple concentric circles which is based on the Hough Transform (HT). In order to reduce time and memory space the concentric ci...
Margarida Silveira