Sciweavers

SOFSEM
2012
Springer
11 years 12 months ago
Visibly Pushdown Transducers with Look-Ahead
Visibly Pushdown Transducers (VPT) form a subclass of pushdown transducers. In this paper, we investigate the extension of VPT with visibly pushdown look-ahead (VPTla). Their trans...
Emmanuel Filiot, Frédéric Servais
GI
2009
Springer
13 years 2 months ago
Spontaneous and Privacy-friendly Mobile Indoor Routing and Navigation
Abstract: Mobile indoor navigation systems guide users through buildings and premises by taking into account the current position of the user and a destination such as a room, offi...
Peter Ruppel, Florian Gschwandtner
TCS
2010
13 years 2 months ago
Runtime analysis of a binary particle swarm optimizer
We investigate the runtime of a Binary Particle Swarm Optimizer (PSO) for optimizing pseudo-Boolean functions f : {0, 1}n → R. The Binary PSO maintains a swarm of particles sear...
Dirk Sudholt, Carsten Witt
ESAW
2003
Springer
13 years 9 months ago
Competition, Cooperation, and Authorization
Abstract. Multi-agent systems considered in the paper consist of a finite number of agents, positions of which can be changed by system actions, and of an evaluation function whic...
Antoni W. Mazurkiewicz
NETGAMES
2004
ACM
13 years 9 months ago
Accuracy in dead-reckoning based distributed multi-player games
Distributed multi-player games use dead reckoning vectors to intimate other (at a distance) participating players about the movement of any entity by a controlling player. The dea...
Sudhir Aggarwal, Hemant Banavar, Amit Khandelwal, ...
LOCA
2007
Springer
13 years 10 months ago
Inferring Position Knowledge from Location Predicates
Many context- and location-aware applications request high accuracy and availability of positioning systems. In reality however, knowledge about the current position may be incompl...
Jörg Roth
ACG
2009
Springer
13 years 11 months ago
Plans, Patterns, and Move Categories Guiding a Highly Selective Search
In this paper we present our ideas for an Arimaa-playing program (also called a bot) that uses plans and pattern matching to guide a highly selective search. We restrict move gener...
Gerhard Trippen