Sciweavers

3145 search results - page 564 / 629
» Algebraic Linear Orderings
Sort
View
120
Voted
ICRA
2010
IEEE
185views Robotics» more  ICRA 2010»
14 years 10 months ago
Autonomous flight at low altitude with vision-based collision avoidance and GPS-based path following
The ability to fly at low altitude while actively avoiding collisions with the terrain and other objects is a great challenge for small unmanned aircraft. This paper builds on top ...
Jean-Christophe Zufferey, Antoine Beyeler, Dario F...
PIMRC
2010
IEEE
14 years 10 months ago
On the feasibility of receive collaboration in wireless sensor networks
In this paper, a new type of collaboration in wireless sensor networks (WSN) is suggested that exploits array processing algorithms for better reception of a signal. For receive co...
Behnam Banitalebi, S. Sigg, M. Beigl
122
Voted
QEST
2010
IEEE
14 years 10 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
100
Voted
WINE
2010
Springer
144views Economy» more  WINE 2010»
14 years 10 months ago
An Axiomatic Characterization of Continuous-Outcome Market Makers
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...
Xi Alice Gao, Yiling Chen
CISC
2009
Springer
148views Cryptology» more  CISC 2009»
14 years 10 months ago
Using Strategy Objectives for Network Security Analysis
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...
Elie Bursztein, John C. Mitchell