Sciweavers

614 search results - page 14 / 123
» DE in Slovenia: Where are We
Sort
View
CIMCA
2006
IEEE
14 years 1 months ago
Investigating Organisational Structures with Networks of Planning Agents
In this paper, we present a simulation model specifically for investigating formal and informal organisational structures. CAVALIER-NPA (Networks of Planning Agents) is an agent-b...
Anthony Dekker, Lavindra de Silva
STACS
2005
Springer
14 years 1 months ago
Robust Polynomials and Quantum Algorithms
We define and study the complexity of robust polynomials for Boolean functions and the related fault-tolerant quantum decision trees, where input bits are perturbed by noise. We ...
Harry Buhrman, Ilan Newman, Hein Röhrig, Rona...
SWAT
2010
Springer
269views Algorithms» more  SWAT 2010»
14 years 20 days ago
Approximation Algorithms for Free-Label Maximization
Inspired by air traffic control and other applications where moving objects have to be labeled, we consider the following (static) point labeling problem: given a set P of n points...
Mark de Berg, Dirk H. P. Gerrits
WOTUG
2008
13 years 9 months ago
Mechanical Verification of a Two-Way Sliding Window Protocol
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
Bahareh Badban, Wan Fokkink, Jaco van de Pol
DM
2010
86views more  DM 2010»
13 years 5 months ago
On the simple connectedness of hyperplane complements in dual polar spaces, II
Suppose is a dual polar space of rank n and H is a hyperplane of . Cardinali, De Bruyn and Pasini have already shown that if n 4 and the line size is greater than or equal to fo...
Justin McInroy, Sergey Shpectorov