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
Hilfe
Suche: Journal=J. Comput.~Syst.~Sci. AND YEAR=2010
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Discovery of optimal factors in binary data via a novel method of matrix decomposition
Radim Belohlavek
,
Vilem Vychodil
Journal of Computer and System Sciences
76
(1), 2010, pp. 3-20
A conditional independence algorithm for learning undirected graphical models
Christian Borgelt
Journal of Computer and System Sciences
76
(1), 2010, pp. 21-33
The GUHA method and its meaning for data mining
Petr Hájek
,
Martin Holen̑a
,
Jan Rauch
Journal of Computer and System Sciences
76
(1), 2010, pp. 34-48
On predictive accuracy and risk minimization in pairwise label ranking
Eyke Hüllermeier
,
Johannes Fürnkranz
Journal of Computer and System Sciences
76
(1), 2010, pp. 49-62
Fast convolution and Fast Fourier Transform under interval and fuzzy uncertainty
Guoqing Liu
,
Vladik Kreinovich
Journal of Computer and System Sciences
76
(1), 2010, pp. 63-76
Visualizing and fuzzy filtering for discovering temporal trajectories of association rules
Matthias Steinbrecher
,
Rudolf Kruse
Journal of Computer and System Sciences
76
(1), 2010, pp. 77-87
Prism
: An effective approach for frequent sequence mining via prime-block encoding
Karam Gouda
,
Mosab Hassaan
,
Mohammed J. Zaki
Journal of Computer and System Sciences
76
(1), 2010, pp. 88-102
Constraint satisfaction with bounded treewidth revisited
Marko Samer
,
Stefan Szeider
Journal of Computer and System Sciences
76
(2), 2010, pp. 103-114
Pattern matching with don't cares and few errors
Raphaël Clifford
,
Klim Efremenko
,
Ely Porat
,
Amir Rothschild
Journal of Computer and System Sciences
76
(2), 2010, pp. 115-124
Reduction rules for reset/inhibitor nets
H.M.W. Verbeek
,
M.T. Wynn
,
W.M.P. van der Aalst
,
A.H.M. ter Hofstede
Journal of Computer and System Sciences
76
(2), 2010, pp. 125-143
FPT algorithms and kernels for the
Directed
k
-
Leaf
problem
Jean Daligault
,
Gregory Gutin
,
Eun Jung Kim
,
Anders Yeo
Journal of Computer and System Sciences
76
(2), 2010, pp. 144-152
Content-dependent chunking for differential compression, the local maximum approach
Nikolaj Bjrner
,
Andreas Blass
,
Yuri Gurevich
Journal of Computer and System Sciences
76
(3-4), 2010, pp. 154-203
Approximation and fixed-parameter algorithms for consecutive ones submatrix problems
Michael Dom
,
Jiong Guo
,
Rolf Niedermeier
Journal of Computer and System Sciences
76
(3-4), 2010, pp. 204-221
Communication algorithms with advice
Pierre Fraigniaud
,
David Ilcinkas
,
Andrzej Pelc
Journal of Computer and System Sciences
76
(3-4), 2010, pp. 222-232
Numberings optimal for learning
Sanjay Jain
,
Frank Stephan
Journal of Computer and System Sciences
76
(3-4), 2010, pp. 233-250
Decision problems for language equations
Alexander Okhotin
Journal of Computer and System Sciences
76
(3-4), 2010, pp. 251-266
An approximation trichotomy for Boolean \#CSP
Martin Dyer
,
Leslie Ann Goldberg
,
Mark Jerrum
Journal of Computer and System Sciences
76
(3-4), 2010, pp. 267-277
Corrigendum to ``Shifting: One-inclusion mistake bounds and sample compression''
Benjamin I.P. Rubinstein
,
Peter L. Bartlett
,
J. Hyam Rubinstein
Journal of Computer and System Sciences
76
(3-4), 2010, pp. 278-280
Matching and alpha-equivalence check for nominal terms
Christophe Calvès
,
Maribel Fernández
Journal of Computer and System Sciences
76
(5), 2010, pp. 283-301
Inter-deriving semantic artifacts for object-oriented programming
Olivier Danvy
,
Jacob Johannsen
Journal of Computer and System Sciences
76
(5), 2010, pp. 302-323
Homomorphism preservation on quasi-wide classes
Anuj Dawar
Journal of Computer and System Sciences
76
(5), 2010, pp. 324-332
On the formal semantics of IF-like logics
Santiago Figueira
,
Daniel Gorín
,
Rafael Grimson
Journal of Computer and System Sciences
76
(5), 2010, pp. 333-346
Adversary lower bounds for nonadaptive quantum algorithms
Pascal Koiran
,
Jürgen Landes
,
Natacha Portier
,
Penghui Yao
Journal of Computer and System Sciences
76
(5), 2010, pp. 347-355
On abstract resource semantics and computability logic
Ilya Mezhirov
,
Nikolay Vereshchagin
Journal of Computer and System Sciences
76
(5), 2010, pp. 356-372
Interpretation and inference with maximal referential terms
Livio Robaldo
Journal of Computer and System Sciences
76
(5), 2010, pp. 373-388
Seiten 1
2
3
>