Showing 141 - 160 of 12,834

141

The Voronoi Diagram of Three Lines
Everett, Hazel ; Lazard, Daniel ; Lazard, Sylvain ; et al.
23rd Annual Symposium on Computational Geometry (SoCG'07). :255-264

Gyeongju, South Korea quadric surface intersec... medial axis Voronoi diagram ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT...
Conference
Save to List
142

An $L (1/3 + \varepsilon)$ Algorithm for the Discrete Logarithm Problem for Low Degree Curves
Enge, Andreas ; Gaudry, Pierrick ; Algorithmic number theory for cryptology (TANC) ; et al.
Eurocrypt 2007. :379-393

Barcelona, Spain ACM: G.: Mathematics of... G.4: MATHEMATICAL SOFTWA... G.4.0: Algorithm design... ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT...
Conference
Save to List
143

Line transversals to disjoint balls
Borcea, Ciprian ; Goaoc, Xavier ; Petitjean, Sylvain ; et al.
23rd Annual ACM Symposium on Computational Geometry 2007 - SoCG'07. :245-254

Gyeongju, South Korea lines geometric transversal th... disjoint balls convexity Hessian
Conference
Save to List
144

Graph encoding of multiscale structural networks from binary images with application to bio imaging
Parisse, Nicolas ; Gourrier, Aurélien ; Genthial, Rachel ; et al.
Computer Vision Problems in Plant Phenotyping (CVPPP 2018), Sep 2018, Newcastle, United Kingdom

Newcastle, United Kingdo... ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.1: Numerical Algorit... [INFO.INFO-TS]Computer S... Signal and Image Process...
Conference
Save to List
145

An experimental validation of the PRO model for parallel and distributed computation
Essaïdi, Mohamed ; Gustedt, Jens ; Simulation, modeling and analysis of heterogeneous systems (SMASH) ; et al.
14th Euromicro International Conference on Parallel. :449-456

Montbeliard-Sochaux, Fra... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.0: Distributed pro... D.2: SOFTWARE ENGINEERIN...
Conference
Save to List
146

Hierarchical Scheduling for Moldable Tasks
Dutot, Pierre-François ; Parallel algorithms and load sharing (APACHE) ; Informatique et Distribution (ID-IMAG) ; et al.
Euro-Par. :302-311

Scheduling Hierarchical Algorithm ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo...
Conference
Save to List
147

Scheduling moldable {BSP} tasks
Dutot, Pierre-François ; Goldman, Alfredo ; Kon, Fabio ; et al.
11th Workshop on Job Scheduling Strategies for Parallel Processing. :157-172

Scheduling BSP Moldable ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo...
Conference
Save to List
148

Hadwiger and Helly-type theorems for disjoint unit spheres in R3
Cheong, Otfried ; Goaoc, Xavier ; Holmsen, Andreas ; et al.
21st Annual ACM Symposium on Computational Geometry 2005 (SoCG'05 ). :10-15

Pisa, Italy unit sphere unit ball line transversal Helly theorem Hadwiger theorem
Conference
Save to List
149

Exact Algorithm to Solve the Minimum Cost Multi-Constrained Multicast Routing Problem
Molnár, Miklós ; Methods, Algorithms for Operations REsearch (MAORE) ; Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; et al.
Journal of Computer and Communications. 4(14):57-79

Branch and Bound Partial Minimum Spanning... Hierarchy Multi-Constrained Steine... Quality of Service Multicast Routing
Journal
Save to List
150

A linear time algorithm for Shortest Cyclic Cover of Strings
Cazaux, Bastien ; Rivals, Eric ; Méthodes et Algorithmes pour la Bioinformatique (MAB) ; et al.
Journal of Discrete Algorithms. 37:56-67

Greedy Shortest cyclic cover of... Superstring Overlap Minimum assignment Graph
Journal
Save to List
151

Automata Column: The Complexity of Reachability in Vector Addition Systems
Schmitz, Sylvain ; Verification in databases (DAHU) ; Laboratoire Spécification et Vérification [Cachan] (LSV) ; et al.
ACM SIGLOG News. 3(1):3-21

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... F.3: LOGICS AND MEANINGS... F.3.1: Specifying and Ve... [INFO.INFO-LO]Computer S...
Journal
Save to List
152

Efficiently navigating a random Delaunay triangulation
Broutin, Nicolas ; Devillers, Olivier ; Hemsley, Ross ; et al.
Random Structures and Algorithms. 49(1):95-136

random analysis point location routing Delaunay triangulation ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT...
Journal
Save to List
153

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
Altisen, Karine ; Devismes, Stéphane ; Durand, Anaïs ; et al.
[Research Report] Université Grenoble Alpes, VERIMAG, UMR 5104, France; LIMOS, Université Clermont Auvergne, CNRS, UMR 6158, France; Université de Bordeaux, LaBRI, UMR 5800, France; Sorbonne Université, Paris, LIP6, UMR 7606, France. 2020

sources sinks timely sources timely sinks speculation self-stabilization
Report
Save to List
154

An Iterated Dual Substitution Approach for Binary Integer Programming Problems Under the Min-Max Regret Criterion: An iterated dual substitution approach for binary integer programming problems under the min-max regret criterion
Wei Wu ; Manuel Iori ; Silvano Martello ; et al.
INFORMS Journal on Computing. 34:2523-2539

0209 industrial biotechn... Combinatorial optimizati... combinatorial optimizati... heuristics iterated dual substituti... min-max regret
Academic journal
Save to List
155

Planar and Toroidal Morphs Made Easier: Planar and toroidal morphs made easier
Jeff Erickson ; Patrick Lin
Lecture Notes in Computer Science ISBN: 9783030929305

Computational Geometry (... FOS: Computer and inform... 68U05 (primary) 57Q37, 6... I.3.5 Analysis of algorithms a... Graph operations (line g...
Book
Save to List
156

Several methods of analysis for cardinality constrained bin packing
Leah Epstein
Lecture Notes in Computer Science ISBN: 9783030927011

FOS: Computer and inform... Combinatorial optimizati... Discrete Mathematics (cs... Analysis of algorithms a... 0211 other engineering a... 0102 computer and inform...
Academic journal
Save to List
157

Minimization of Automata
Berstel, Jean ; Boasson, Luc ; Carton, Olivier ; et al.
Jean-Éric Pin. Handbook of Automata Theory. 1(1):337-373

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.4: MATHEMATICAL LOGIC... [INFO.INFO-FL]Computer S... Formal Languages and Aut...
Book
Save to List
158

Formalizing Convex Hulls Algorithms
Formalisation d'algorithmes d'enveloppes convexes

Pichardie, David ; Bertot, Yves ; Logiciel : ANalyse et DEveloppement (Lande) ; et al.
TPHOLs 2001 - 14th International Conference Theorem Proving in Higher Order Logics. :346-361

Edinburgh, United Kingdo... ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... F.3.1: Specifying and Ve... F.4: MATHEMATICAL LOGIC... F.4.1: Mathematical Logi...
Conference
Save to List
159

Scheduling on hierarchical clusters using malleable tasks
Dutot, Pierre-François ; Trystram, Denis ; Parallel algorithms and load sharing (APACHE) ; et al.
Symposium on Parallel Algorithms and Architectures. :199-208

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... F.2.2.5: Sequencing and... [INFO.INFO-DC]Computer S... Distributed, Parallel, a...
Conference
Save to List
160

A heuristic approximation algorithm of minimum dominating set based on rough set theory
Lihe Guan ; Hong Wang
Journal of Combinatorial Optimization. 44:752-769

Vertex subsets with spec... Graph algorithms (graph-... Analysis of algorithms a... rough set 0202 electrical engineer... heuristic algorithm
Academic journal
Save to List

Filter