Sciweavers

2252 search results - page 205 / 451
» Lower Bounds for Dynamic Algorithms
Sort
View
109
Voted
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 2 months ago
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
Karine Altisen, Yanhong Liu, Matthieu Moy
148
Voted
CORR
2011
Springer
156views Education» more  CORR 2011»
14 years 10 months ago
Impossibility of Succinct Quantum Proofs for Collision-Freeness
We show that any quantum algorithm to decide whether a function f : [n] → [n] is a permutation or far from a permutation must make Ω n1/3 /w queries to f, even if the algorith...
Scott Aaronson
123
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Direction-of-arrival estimation using acoustic vector sensors in the presence of noise
A vector-sensor consisting of a monopole sensor collocated with orthogonally oriented dipole sensors can be used for direction-ofarrival (DOA) estimation. A method is proposed to ...
Dovid Levin, Sharon Gannot, Emanuel A. P. Habets
117
Voted
STOC
2005
ACM
167views Algorithms» more  STOC 2005»
16 years 4 months ago
Approximately counting integral flows and cell-bounded contingency tables
We consider the problem of approximately counting integral flows in a network. We show that there is an fpras based on volume estimation if all capacities are sufficiently large, ...
Mary Cryan, Martin E. Dyer, Dana Randall
106
Voted
AAAI
2010
15 years 5 months ago
Trial-Based Dynamic Programming for Multi-Agent Planning
Trial-based approaches offer an efficient way to solve singleagent MDPs and POMDPs. These approaches allow agents to focus their computations on regions of the environment they en...
Feng Wu, Shlomo Zilberstein, Xiaoping Chen