Sciweavers

1578 search results - page 115 / 316
» Direct Routing: Algorithms and Complexity
Sort
View
PSTV
1993
123views Hardware» more  PSTV 1993»
13 years 10 months ago
On the Verification of Temporal Properties
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
Patrice Godefroid, Gerard J. Holzmann
WDAG
2007
Springer
125views Algorithms» more  WDAG 2007»
14 years 3 months ago
Approximating Wardrop Equilibria with Finitely Many Agents
We study adaptive routing algorithms in a round-based model. Suppose we are given a network equipped with load-dependent latency functions on the edges and a set of commodities eac...
Simon Fischer, Lars Olbrich, Berthold Vöcking
GECCO
2005
Springer
163views Optimization» more  GECCO 2005»
14 years 2 months ago
An artificial immune system algorithm for CDMA multiuser detection over multi-path channels
Based on the Antibody Clonal Selection Theory of immunology, we put forward a novel clonal selection algorithm for multiuser detection in Code-division Multiple-access Systems. By...
Maoguo Gong, Ling Wang, Licheng Jiao, Haifeng Du
GLOBECOM
2007
IEEE
14 years 3 months ago
Detection of Colluding Misbehaving Nodes in Mobile Ad Hoc and Wireless Mesh Networks
Abstract—Ubiquitous network connectivity and mobile communications have recently attracted remarkable attention. Wireless multihop networks such as Mobile Ad hoc Networks or Wire...
Kalman Graffi, Parag S. Mogre, Matthias Hollick, R...
IROS
2006
IEEE
136views Robotics» more  IROS 2006»
14 years 2 months ago
Panoramic View-Based Navigation in Outdoor Environments Based on Support Vector Learning
— This paper describes a panoramic view-based navigation in outdoor environments. We have been developing a two-phase navigation method. In the training phase, the robot acquires...
Hideo Morita, Michael Hild, Jun Miura, Yoshiaki Sh...