Showing 81 - 100 of 3,806

81

High-dimensional approximate r-nets
Avarikioti, Georgia ; Emiris, Ioannis Z. ; Kavouras, Loukas ; et al.
SODA: ACM/SIAM Symposium on Discrete Algorithms, Jan 2017, Barcelone, Spain

Barcelone, Spain Locality-sensitive hashi... r-nets Approximation algorithms High dimension Metric geometry
Conference
Save to List
82

Regular Separability of Parikh Automata
Clemente, Lorenzo ; Czerwiński, Wojciech ; Lasota, Sławomir ; et al.

Varsovie, Poland separability problem Parikh automata integer vector addition... visible one counter auto... decidability
Conference
Save to List
83

Faster Graph Coloring in Polynomial Space
Gaspers, Serge ; Lee, Edward J.
Algorithmica. 85(2):584-609

Academic journal
Save to List
84

Proof-theoretic aspects of the logic of scope
Moot, Richard ; Exploration et exploitation de données textuelles (LIRMM ; Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; et al.
ISSN: 0925-8531.

Type-logical grammars Proof theory Proof nets Parsing as deduction ACM: F.: Theory of Compu... ACM: F.: Theory of Compu...
Academic journal
Save to List
85

Delaunay Stability via Perturbations
Boissonnat, Jean-Daniel ; Dyer, Ramsay ; Ghosh, Arijit ; et al.
International Journal of Computational Geometry and Applications. 24:125-152

perturbation stability Delaunay triangulation ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo...
Journal
Save to List
86

The stability of Delaunay triangulations
Boissonnat, Jean-Daniel ; Dyer, Ramsay ; Ghosh, Arijit ; et al.
International Journal of Computational Geometry and Applications. 23(4-5):303-333

Delaunay triangulation s... ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... F.2.2.2: Geometrical pro... [INFO.INFO-CG]Computer S...
Journal
Save to List
87

The Multiple Number Field Sieve for Medium and High Characteristic Finite Fields
Barbulescu, Razvan ; Pierrot, Cécile ; Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; et al.
LMS Journal of Computation and Mathematics. 17:230-246

Discrete logarithm probl... finite fields number field sieve ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo...
Journal
Save to List
88

Discretized Riemannian Delaunay triangulations
Rouxel-Labbé, Maël ; Wintraecken, M ; Boissonnat, J.-D ; et al.

Washington DC, United St... ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... F.2.2.2: Geometrical pro... [INFO.INFO-CG]Computer S...
Conference
Save to List
89

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), Aug 2016, Krakow, Poland. ⟨10.4230/LIPIcs.MFCS.2016.55⟩

Krakow, Poland majority rule distributed voting ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo...
Conference
Save to List
90

Bounds on the Voter Model in Dynamic Networks
Berenbrink, Petra ; Giakkoupis, George ; Kermarrec, Anne-Marie ; et al.

Rome, Italy Voting Distributed Computing Conductance Dynamic Graphs Consensus
Conference
Save to List
91

Longest Common Substring with Approximately k Mismatches
Starikovskaya, Tatiana ; Département d'informatique - ENS-PSL (DI-ENS) ; École normale supérieure - Paris (ENS-PSL) ; et al.
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 locality-sensitive hashi...
Conference
Save to List
92

Dynamic Programming Approach to the Generalized Minimum Manhattan Network Problem: Dynamic programming approach to the generalized minimum Manhattan network problem
Yuya Masumura ; Taihei Oki ; Yutaro Yamaguchi
Lecture Notes in Computer Science ISBN: 9783030532611

dynamic programming FOS: Computer and inform... Combinatorial optimizati... 0102 computer and inform... Dynamic programming 01 natural sciences
Academic journal
Save to List
93

On counting untyped lambda terms
Lescanne, Pierre ; Laboratoire de l'Informatique du Parallélisme (LIP) ; École normale supérieure de Lyon (ENS de Lyon) ; et al.
Theoretical Computer Science. 474:80-97

Complexity Enumeration Expected complexity Lambda calculus complexi... F.3.2 Semantics of Progr... [INFO.INFO-DS]Computer S...
Journal
Save to List
94

Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1,1): Algorithms and complexity
Faugère, Jean-Charles ; Safey El Din, Mohab ; Spaenlehauer, Pierre-Jean ; et al.
Journal of Symbolic Computation. 46(4):406-437

complexity bihomogeneous ideals algorithms Gröbner bases ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR...
Journal
Save to List
95

On the Uniformity of Peer Sampling based on View Shuffling
Busnel, Yann ; Beraldi, Roberto ; Baldoni, Roberto ; et al.
Journal of Parallel and Distributed Computing. 71(8):1165-1176

Numerical evaluation Stochastic process Theoretical analysis Peer sampling Gossip-based protocol ACM: F.: Theory of Compu...
Journal
Save to List
96

Homotopic Fréchet Distance Between Curves or, Walking Your Dog in the Woods in Polynomial Time
Chambers, Erin Wolf ; Colin de Verdière, Eric ; Erickson, Jeff ; et al.
Computational Geometry. 43(3):295-311

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... ACM: I.: Computing Metho... [INFO.INFO-CG]Computer S... Computational Geometry [...
Journal
Save to List
97

On subset seeds for protein alignment
Roytberg, Mikhail, A. ; Gambin, Anna ; Noé, Laurent ; et al.
IEEE/ACM Transactions on Computational Biology and Bioinformatics. 6(3):483-494

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... F.2.2.3: Pattern matchin... ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC...
Journal
Save to List
98

On the Degree of Standard Geometric Predicates for Line Transversals in 3D
Everett, Hazel ; Lazard, Sylvain ; Lenhart, Bill ; et al.
Computational Geometry. 42(5):484-494

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... ACM: I.: Computing Metho... I.3: COMPUTER GRAPHICS I.3.7: Three-Dimensional...
Journal
Save to List
99

Automating the Addition of Fault Tolerance with Discrete Controller Synthesis
Girault, Alain ; Rutten, Eric ; Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) ; et al.
Formal Methods in System Design. 35:190-225

ACM: C.: Computer System... C.3: SPECIAL-PURPOSE AND... C.3.2: Real-time and emb... ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.2: Language Classifi...
Journal
Save to List
100

The Voronoi diagram of three lines
Everett, Hazel ; Lazard, Daniel ; Lazard, Sylvain ; et al.
Discrete and Computational Geometry. 42(1):94-130

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... [INFO.INFO-CG]Computer S...
Journal
Save to List

Filter