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: Journal=Inf.~Process.~Lett. AND YEAR=2004
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The power of first-order quantification over states in branching and linear time temporal logics
Krishnendu Chatterjee
,
Pallab Dasgupta
,
P.P. Chakrabarti
Information Processing Letters
91
(5), 2004, pp. 201-210
Evolutionary game algorithm for continuous parameter optimization
Ye Jun
,
Liu Xiande
,
Han Lu
Information Processing Letters
91
(5), 2004, pp. 211-219
Counting edge crossings in a 2-layered drawing
Hiroshi Nagamochi
,
Nobuyasu Yamada
Information Processing Letters
91
(5), 2004, pp. 221-225
A scalable Web cache sharing scheme
Yong H. Shin
,
Hyokyung Bahn
Information Processing Letters
91
(5), 2004, pp. 227-232
Computing polynomial program invariants
Markus Müller-Olm
,
Helmut Seidl
Information Processing Letters
91
(5), 2004, pp. 233-244
Improved algorithm for all pairs shortest paths
Yijie Han
Information Processing Letters
91
(5), 2004, pp. 245-250
A simple but effective improvement to the plumb-line algorithm
Ralf Hartmut Güting
,
Zhiming Ding
Information Processing Letters
91
(6), 2004, pp. 251-257
On the Euclidean TSP with a permuted Van der Veen matrix
Rainer E. Burkard
,
Vladimir G. Deineko
Information Processing Letters
91
(6), 2004, pp. 259-262
Kolmogorov-Loveland stochasticity for finite strings
Bruno Durand
,
Nikolai Vereshchagin
Information Processing Letters
91
(6), 2004, pp. 263-269
A simpler linear time
2/3 - \varepsilon
approximation for maximum weight matching
Seth Pettie
,
Peter Sanders
Information Processing Letters
91
(6), 2004, pp. 271-276
Tutte type theorems for graphs having a perfect internal matching
Miklós Bartha
,
Miklós Krész
Information Processing Letters
91
(6), 2004, pp. 277-284
Formal language identification: Query learning vs. Gold-style learning
Steffen Lange
,
Sandra Zilles
Information Processing Letters
91
(6), 2004, pp. 285-292
The super-connected property of recursive circulant graphs
Chang-Hsiung Tsai
,
Jimmy J.M. Tan
,
Lih-Hsing Hsu
Information Processing Letters
91
(6), 2004, pp. 293-298
Erratum to ''The design of conference key distribution system employing a symmetric balanced incomplete block design''
Ilyong Chung
Information Processing Letters
91
(6), 2004, pp. 299-300
A PTIME-complete matching problem for SLP-compressed words
N. Markey
,
Ph. Schnoebelen
Information Processing Letters
90
(1), 2004, pp. 3-6
Exhaustive approaches to 2D rectangular perfect packings
N. Lesh
,
J. Marks
,
A. McMahon
,
M. Mitzenmacher
Information Processing Letters
90
(1), 2004, pp. 7-14
Limiting negations in bounded-depth circuits: An extension of Markov's theorem
Shao Chin Sung
,
Keisuke Tanaka
Information Processing Letters
90
(1), 2004, pp. 15-20
Undecidable problems of decentralized observation and control on regular languages
Stavros Tripakis
Information Processing Letters
90
(1), 2004, pp. 21-28
Herbrand theorems in arbitrary institutions
Răzvan Diaconescu
Information Processing Letters
90
(1), 2004, pp. 29-37
A weakest failure detector-based asynchronous consensus protocol for
f < n
Roy Friedman
,
Achour Mostefaoui
,
Michel Raynal
Information Processing Letters
90
(1), 2004, pp. 39-46
Analysis of simple randomized buffer management for parallel I/O
Mahesh Kallahalla
,
Peter J. Varman
Information Processing Letters
90
(1), 2004, pp. 47-52
Relationships between memory models
Vicent Cholvi
,
Josep Bernabéu
Information Processing Letters
90
(2), 2004, pp. 53-58
A 2-approximation
NC
algorithm for connected vertex cover and tree cover
Toshihiro Fujito
,
Takashi Doi
Information Processing Letters
90
(2), 2004, pp. 59-63
Efficient automatic discovery of ''hot'' itemsets
Ioannis N. Kouris
,
Christos H. Makris
,
Athanasios K. Tsakalidis
Information Processing Letters
90
(2), 2004, pp. 65-72
Packet loss probability for DiffServ over IP and MPLS reliable homogeneous multicast networks
Abdullah AlWehaibi
,
Michael Kadoch
,
Anjali Agarwal
,
Ahmed ElHakeem
Information Processing Letters
90
(2), 2004, pp. 73-80
Seiten
<
1
2
3
4
5
6
7
8
>