Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Booktitle=Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
How to pick a winner almost every time: Provably-good algorithms for decision making in the face of uncertainty
Tom Leighton
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 2-2
On the Borowsky-Gafni simulation algorithm
Nancy Lynch
,
Sergio Rajsbaum
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 4-15
Symmetry breaking in anonymous networks: Characterizations
Paolo Boldi
,
Shella Shammah
,
Sebastiano Vigna
,
Bruno Codenotti
,
Peter Gemmell
,
Janos Simon
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 16-26
Baked potato routing
Shlomi Dolev
,
Evangelos Kranakis
,
Danny Krizanc
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 27-36
Packet routing via min-cost circuit routing
Baruch Awerbuch
,
Yossi Azar
,
Amos Fiat
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 37-42
Arrangements of curves and surfaces in computational geometry
Micha Sharir
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 44-50
On advances in optical computational models and problems which they help to solve
Y.B. Karasik
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 52-60
On the hardness of approximating Max
k
-Cut and its dual
Viggo Kann
,
Sanjeev Khanna
,
Jens Lagergren
,
Alessandro Panconesi
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 61-67
To weight or not to weight: Where is the question?
Pierluigi Crescenzi
,
Riccardo Silvestri
,
Luca Trevisan
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 68-77
Approximating minimum subset feedback sets in undirected graphs with applications
Guy Even
,
Joseph (Seffi) Naor
,
Baruch Schieber
,
Leonid Zosin
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 78-88
Visual object recognition
Shimon Ullman
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 90-90
Making the original scoreboard mechanism deadlock free
Silvia M. Müller
,
Wolfgang J. Paul
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 92-99
Feasibility and unfeasibility of off-line processing
Marco Cadoli
,
Francesco M. Donini
,
Paolo Liberatore
,
Marco Schaerf
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 100-109
Generalized submodular cover problems and applications
Judit Bar-Ilan
,
Guy Kortsarz
,
David Peleg
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 110-118
On chromatic sums and distributed resource allocation
Amotz Bar-Noy
,
Hadas Shachnai
,
Tami Tamir
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 119-128
On the indecomposibility of certain language classes
Stuart W. Margolis
,
Mark V. Sapir
,
Pascal Weil
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 129-134
Type dependencies for logic programs using ACI-unification
Michael Codish
,
Vitaly Lagoon
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 136-145
Reduction-free normalisation for a polymorphic system
Thorsten Altenkirch
,
Martin Hofmann
,
Thomas Streicher
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 146-146
Updating nonmonotonic databases
Cees Witteveen
,
Wiebe van der Hoek
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 147-153
On the parallel computation of Boolean functions on unrelated inputs
Alexander E. Andreev
,
Andrea E.F. Clementi
,
José D.P. Rolim
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 155-161
On satisfiability
Richard Zippel
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 162-169
On learning conjunctions with malicious noise
Yishay Mansour
,
Michal Parnas
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 170-175
On the decisional complexity of problems over the reals
Moni Naor
,
Sitvanit Ruah
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 176-187
The airline crew pairing optimization problem
William R. Pulleyblank
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 189-189
On privacy and partition arguments
Benny Chor
,
Yuval Ishai
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 191-194
Seiten 1
2
>