18306 search results - page 356 / 3662 » Algorithmics in Exponential Time |
213
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
200
click to vote
WEA
2005
Springer
16 years 23 days ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
170
click to vote
EUROCRYPT
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We present a technique for Merkle tree traversal which requires only logarithmic space and time1 . For a tree with N nodes, our algorithm computes sequential tree leaves ...
206
click to vote
ANOR
2010
15 years 5 months ago
2010
This paper considers online stochastic optimization problems where uncertainties are characterized by a distribution that can be sampled and where time constraints severely limit t...
196
click to vote
ECRTS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...