Sciweavers

13306 search results - page 326 / 2662
» Theoretical Computer Science
Sort
View
SOFSEM
2000
Springer
15 years 10 months ago
Simplified Witness Tree Arguments
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...
Thomas Schickinger, Angelika Steger
WMP
2000
15 years 10 months ago
Parikh Mapping and Iteration
orms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages . . . . 135 Manfred Kudlek, Victor Mitrana On Multisets in Database Systems . . ....
Jürgen Dassow
TCS
1998
15 years 6 months ago
Reachability in Live and Safe Free-Choice Petri Nets is NP-Complete
The complexity of the reachability problem for live and safe free-choice Petri nets has been open for several years. Several partial results seemed to indicate that the problem is...
Javier Esparza
TCS
2010
15 years 5 months ago
Maximal width learning of binary functions
This paper concerns learning binary-valued functions defined on IR, and investigates how a particular type of ‘regularity’ of hypotheses can be used to obtain better generali...
Martin Anthony, Joel Ratsaby
WG
2010
Springer
15 years 5 months ago
The Number of Bits Needed to Represent a Unit Disk Graph
We prove that for sufficiently large n, there exist unit disk graphs on n vertices such that for every representation with disks in the plane at least c √ n bits are needed to wr...
Colin McDiarmid, Tobias Müller