Showing 241 - 260 of 4,040

241

LIPICs, Volume 65, FSTTCS'16, Complete Volume
Lal, Akash ; Akshay, S. ; Saurabh, Saket ; et al.

Modes of Computation Nonnumerical Algorithms... Software/Program Verific... Formal Languages Models of Computation Mathematical Logic
Conference
Save to List
242

LIPIcs, Volume 60, APPROX/RANDOM'16, Complete Volume
Jansen, Klaus ; Mathieu, Claire ; Rolim, José D. P. ; et al.

Analysis of Algorithms a... Models of Computation Theory of Computation ddc:004 Complexity Measures and... Numerical Algorithms and...
Conference
Save to List
243

OASIcs, Volume 50, SCOR'16, Complete Volume
Hardy, Bradley ; Qazi, Abroon ; Ravizza, Stefan ; et al.

Optimization Design Tools and Techniq... Performance and Reliabil... Applications Performance and Reliabil... Learning
Conference
Save to List
244

LIPIcs, Volume 57, ESA'16, Complete Volume
Sankowski, Piotr ; Zaroliagis, Christos ; Piotr Sankowski and Christos Zaroliagis

Optimization Mathematical Software Discrete Mathematics Data Structures, Nonnume... Control Methods and Sear... ddc:004
Conference
Save to List
245

A fast hypergraph min-cut algorithm for circuit partitioning
Wai-Kei Mak ; D. F. Wong
Integration. 30:1-11

minimum cut Hardware implementations... hypergraph 0211 other engineering a... min-cut partitioning 0102 computer and inform...
Academic journal
Save to List
246

On the stability of source separation algorithms
Jean-François Cardoso
Neural Networks for Signal Processing VIII. Proceedings of the 1998 IEEE Signal Processing Society Workshop (Cat. No.98TH8378). :13-22

03 medical and health sc... 0302 clinical medicine Hardware implementations... blind separation of sign... 0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List
247

Exact Algorithms With Worst-case Guarantee For Scheduling: From Theory to Practice
Algorithmes Exacts Avec Garantie au Pire Cas Pour l'Ordonnancement: de la Théorie à la Pratique

Shang, Lei ; Laboratoire d'Informatique Fondamentale et Appliquée de Tours (LIFAT) ; Université de Tours (UT)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL) ; et al.
Computational Complexity [cs.CC]. Université François Rableais deTours, 2017. English. ⟨NNT : ⟩

branch and reduce total tardiness dynamic programming memorization scheduling Exact exponential algori...
Dissertation/ Thesis
Save to List
248

A Sequent Calculus for a Modal Logic on Finite Data Trees
Baelde, David ; Lunel, Simon ; Schmitz, Sylvain ; et al.
CSL 2016 ; https://inria.hal.science/hal-01191172 ; CSL 2016, Sep 2016, Marseille, France. pp.1--16, ⟨10.4230/LIPIcs.CSL.2016.32⟩

Marseille France complexity modal logic proof systems XPath
Conference
Save to List
249

On the Voting Time of the Deterministic Majority Process
Kaaser, Dominik ; Mallmann-Trenn, Frederik ; Natale, Emanuele ; et al.
41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)
https://hal.science/hal-02001816
41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), Aug 2016, Krakow, Poland. ⟨10.4230/LIPIcs.MFCS.2016.55⟩

Krakow Poland majority rule distributed voting ACM: F.: Theory of Compu... [INFO.INFO-DC]Computer S...
Conference
Save to List
250

Bounds on the Voter Model in Dynamic Networks
Berenbrink, Petra ; Giakkoupis, George ; Kermarrec, Anne-Marie ; et al.
ICALP 2016 ; ICALP 2016 - 43rd International Colloquium on Automata, Languages and Programming ; https://hal.science/hal-01353695 ; ICALP 2016 - 43rd International Colloquium on Automata, Languages and Programming , Jul 2016, Rome, Italy. ⟨10.4230/LIPIcs.ICALP.2016.146⟩

Rome Italy Voting Distributed Computing Conductance Dynamic Graphs
Conference
Save to List
251

The Complexity of Coverability in ν-Petri Nets
Lazić, Ranko ; Schmitz, Sylvain ; Centre for Discrete Mathematics and its Applications Warwick (DIMAP) ; et al.
LICS 2016 - 31th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://inria.hal.science/hal-01265302 ; LICS 2016 - 31th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York, United States. pp.467--476, ⟨10.1145/2933575.2933593⟩

New York United States Well-structured transiti... Formal verification Well-quasi-order Order ideal
Conference
Save to List
252

Longest Common Substring with Approximately k Mismatches
Starikovskaya, Tatiana ; Département d'informatique - ENS Paris (DI-ENS) ; École normale supérieure - Paris (ENS-PSL) ; et al.
27th Annual Symposium on Combinatorial Pattern Matching CPM 2016
https://hal.science/hal-03942914
27th Annual Symposium on Combinatorial Pattern Matching CPM 2016, 2016, Warsaw, Poland. ⟨10.4230/LIPIcs.CPM.2016.21⟩

Warsaw Poland 1998 ACM Subject Classif... string similarity measur... longest common substring sketching
Conference
Save to List
253

Backpropagation
Andrew, Alex M.
IFSR International Series on Systems Science and Engineering ISBN: 9780387751634

0301 basic medicine 0303 health sciences 03 medical and health sc... Learning and adaptive sy... Nonnumerical algorithms
Academic journal
Save to List
254

A fast and practical bit-vector algorithm for the Longest Common Subsequence problem: A fast and practical bit-vector algorithm for the longest common subsequence problem
Yoan J. Pinzón ; Costas S. Iliopoulos ; Maxime Crochemore ; et al.
Information Processing Letters. 80:279-285

0202 electrical engineer... longest common subsequen... [INFO.INFO-DS] Computer... 0102 computer and inform... 02 engineering and techn... Nonnumerical algorithms
Academic journal
Save to List
255

Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design Problems: Approximation algorithms for degree-constrained minimum-cost network-design problems
S. S. Ravi ; Daniel J. Rosenkrantz ; Madhav V. Marathe ; et al.
Fundamental Problems in Computing ISBN: 9781402096877

150399 Business and Mana... FOS: Economics and busin... Network design and commu... 0211 other engineering a... network-design problems 0102 computer and inform...
Book
Save to List
256

Seat reservation allowing seat changes
Boyar, Joan ; Krarup, S. ; Nielsen, M.N. ; et al.
Boyar, J, Krarup, S & Nielsen, M N 2001, Seat Reservation Allowing Seat Changes . in C Zaroliagis (ed.), Proceedings of the Satellite Workshops of the 28th International Colloquium on Automata, Languages, and Programming ATMOS 2001 . Elsevier, Electronic Notes in Theoretical Computer Science, vol. 50, pp. 24-38 . https://doi.org/10.1016/S1571-0661(04)00163-X
Boyar, J, Krarup, S & Nielsen, M N 2004, ' Seat Reservation Allowing Seat Changes. ', Journal of Algorithms, vol. 52, pp. 169-192 . https://doi.org/10.1016/j.jalgor.2004.02.002

0102 computer and inform... 02 engineering and techn... Nonnumerical algorithms Min-Change 01 natural sciences accommodating sequences
Academic journal
Save to List
257

Optimal Edge Ranking of Trees in Linear Time: Optimal edge ranking of trees in linear time
Lam, TW ; Yue, FL
Algorithmica. 30:12-33

Mathematics computers Graph theory (including... optimal node ranking Time Complexity Optimal Edge Ranking 0211 other engineering a...
Academic journal
Save to List
258

On-line construction of compact directed acyclic word graphs
Inenaga, S ; Hoshino, H ; Shinohara A ; et al.
Lecture Notes in Computer Science ISBN: 9783540422716

Permutations, words, mat... Data structures Directed acyclic word gr... Applied Mathematics Modes of computation (no... 0102 computer and inform...
Academic journal
Save to List
259

Approximating minimum cocolorings: Approximating minimum cocolorings.
Fomin, Fedor V. ; Kratsch, D. ; Novelli, Jean-Christophe ; et al.
Lecture Notes in Computer Science ISBN: 9783540424871

[INFO.INFO-CL] Computer... Graph theory (including... 0211 other engineering a... 0102 computer and inform... 02 engineering and techn... Partially ordered sets
Academic journal
Save to List
260

High-Performance Algorithmic Engineering for Computationa Phylogenetics: High-performance algorithm engineering for computational phylogenetics
David A. Bader ; Tandy Warnow ; Bernard M. E. Moret
Lecture Notes in Computer Science ISBN: 9783540422334

break-point analysis genome rearrangement 0301 basic medicine sorting by reversals high-performance computi... 0102 computer and inform...
Book
Save to List

Filter