Showing 61 - 80 of 326

61

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 )
https://inria.hal.science/inria-00000206
21st Annual ACM Symposium on Computational Geometry 2005 (SoCG'05 ), Jun 2005, Pisa, Italy. pp.10-15, ⟨10.1145/1064092.1064097⟩

Pisa Italy Hadwiger theorem Helly theorem line transversal unit ball
Conference
Save to List
62

A NATURAL COUNTING OF LAMBDA TERMS
Bendkowski, Maciej ; Grygiel, Katarzyna ; Lescanne, Pierre ; et al.
https://ens-lyon.hal.science/ensl-01159746 ; 2016.

unranking random generator test ranking lambda calculus functional programming
Report
Save to List
63

Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp
Bonomi, Silvia ; del Pozzo, Antonella ; Potop-Butucaru, Maria ; et al.
https://hal.sorbonne-universite.fr/hal-01362193 ; [Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2016.

ACM: F.: Theory of Compu... ACM: D.: Software/D.2: S... Maintenance and Enhancement ACM: C.: Computer System... ACM: C.: Computer System...
Report
Save to List
64

Analysis of Boyer and Moore's MJRTY algorithm
Alonso, Laurent ; Reingold, Edward, M. ; Geometry and Lighting (ALICE) ; et al.
ISSN: 0020-0190 ; Information Processing Letters ; https://inria.hal.science/hal-00926106 ; Information Processing Letters, 2013, 113, pp.495-497. ⟨10.1016/j.ipl.2013.04.005⟩.

ACM: F.: Theory of Compu... [INFO.INFO-CC]Computer S...
Academic journal
Save to List
65

Fast computation of all pairs of geodesic distances
Noyel, Guillaume ; Angulo, Jesus ; Jeulin, Dominique ; et al.
ISSN: 1580-3139.

Mathematical Morphology All pairs of geodesic di... fast marching geodesic propagation ACM: G.: Mathematics of... ACM: F.: Theory of Compu...
Academic journal
Save to List
66

Counting and Generating Terms in the Binary Lambda Calculus (Extended version)
Grygiel, Katarzyna ; Lescanne, Pierre ; Theoretical Computer Science Department Krakow (TCS) ; et al.
https://ens-lyon.hal.science/ensl-01229794 ; 2015.

lambda calculus combinatorics functional programming test random generator ranking
Report
Save to List
67

Convexifying Star-Shaped Polygons
Everett, Hazel ; Lazard, Sylvain ; Robbins, Steve ; et al.
10th Canadian Conference on Computational Geometry (CCCG'98)
https://inria.hal.science/inria-00442788
10th Canadian Conference on Computational Geometry (CCCG'98), 1998, Montreal, Canada. pp.10-12

Montreal ACM: F.: Theory of Compu... ACM: I.: Computing Metho... [INFO.INFO-CG]Computer S...
Conference
Save to List
68

Complexity of Master-slave Tasking on Heterogeneous Trees
Dutot, Pierre-François ; Parallel algorithms and load sharing (APACHE) ; Informatique et Distribution (ID-IMAG) ; et al.
ISSN: 0377-2217.

Master-Slave Tasks Heterogeneous NP-Completeness ACM: F.: Theory of Compu... [INFO.INFO-DC]Computer S... Parallel
Academic journal
Save to List
69

From spider robots to half disk robots
Boissonnat, Jean-Daniel ; Devillers, Olivier ; Lazard, Sylvain ; et al.
IEEE International Conference on Robotics and Automation ; https://inria.hal.science/inria-00442776 ; IEEE International Conference on Robotics and Automation, 1994, San Diego, United States. pp.953-958

San Diego United States ACM: F.: Theory of Compu... ACM: I.: Computing Metho... [INFO.INFO-CG]Computer S...
Conference
Save to List
70

Delaunay stability via perturbations
Boissonnat, Jean-Daniel ; Dyer, Ramsay ; Ghosh, Arijit ; et al.
https://inria.hal.science/hal-00806107 ; [Research Report] RR-8275, INRIA. 2013, pp.26.

algorithm stability Delaunay triangulation ACM: F.: Theory of Compu... ACM: F.: Theory of Compu... [INFO.INFO-CG]Computer S...
Report
Save to List
71

Comments on ''Improving the computing efficiency of HPC systems using a combination of proactive and preventive checkpoint''
Aupy, Guillaume ; Robert, Yves ; Vivien, Frédéric ; et al.
https://inria.hal.science/hal-00836629 ; [Research Report] RR-8318, INRIA. 2013.

fault tolerance checkpointing prediction algorithms model exascale
Report
Save to List
72

Finding a subdivision of a digraph
Bang-Jensen, Jørgen ; Havet, Frédéric ; Maia de Oliviera, Ana Karolinna ; et al.
https://inria.hal.science/hal-00720500 ; [Research Report] RR-8024, INRIA. 2012.

DAG and handle decomposi... NP-completeness 2-linkage flows ACM: F.: Theory of Compu... [INFO.INFO-DS]Computer S...
Report
Save to List
73

Node coloring for dense wireless sensor networks
Amdouni, Ichrak ; Minet, Pascale ; Adjih, Cédric ; et al.
https://inria.hal.science/inria-00582457 ; [Research Report] RR-7588, INRIA. 2011, pp.35.

coloriage de graphe réseaux de capteurs sans... MANET réseaux mobiles ad hoc efficacité énergétique... réutilisation spatiale
Report
Save to List
74

Maximum colorful cliques in vertex-colored graphs
Italiano, Giuseppe, F ; Manoussakis, Yannis ; Nguyen, Kim Thang ; et al.
COCOON 2018: Computing and Combinatorics ; COCOON 2018 - 24th International Computing and Combinatorics Conference ; https://hal.science/hal-01827893 ; COCOON 2018 - 24th International Computing and Combinatorics Conference, Jul 2018, Qingdao, China. pp.480-491, ⟨10.1007/978-3-319-94776-1_40⟩

Qingdao China ACM: G.: Mathematics of... ACM: F.: Theory of Compu... [INFO.INFO-DM]Computer S... [INFO.INFO-DS]Computer S...
Conference
Save to List
75

A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs
Balabonski, Thibaut ; Pelle, Robin ; Rieg, Lionel ; et al.
ICDCN '18 Proceedings of the 19th International Conference on Distributed Computing and Networking ; ICDCN 2018 - 19th International Conference on Distributed Computing and Networking ; https://hal.sorbonne-universite.fr/hal-01753439 ; ICDCN 2018 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154321⟩

Varanasi India Mobile Robots Proof Assistant Exploration Impossibility results
Conference
Save to List
76

Optimally Gathering Two Robots
Heriban, Adam ; Défago, Xavier ; Tixeuil, Sébastien ; et al.
The 19th International Conference on Distributed Computing and Networking ; https://hal.sorbonne-universite.fr/hal-01753431 ; The 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.3, ⟨10.1145/3154273.3154323⟩

Varanasi India ACM: C.: Computer System... ACM: D.: Software/D.1: P... ACM: F.: Theory of Compu... [INFO.INFO-DC]Computer S...
Conference
Save to List
77

Minimization of Automata
Berstel, Jean ; Boasson, Luc ; Carton, Olivier ; et al.
Handbook "Automata: from Mathematics to Applications" to be published by the European Mathematical Society ; https://hal-upec-upem.archives-ouvertes.fr/hal-01743468 ; Handbook "Automata: from Mathematics to Applications" to be published by the European Mathematical Society, In press

ACM: F.: Theory of Compu... ACM: F.: Theory of Compu... [INFO.INFO-FL]Computer S...
Book
Save to List
78

Zigzag Persistent Homology in Matrix Multiplication Time
Milosavljevic, Nikola ; Morozov, Dmitriy ; Skraba, Primoz ; et al.
https://inria.hal.science/inria-00520171 ; [Research Report] RR-7393, INRIA. 2010.

ACM: F.: Theory of Compu... [INFO.INFO-CG]Computer S...
Report
Save to List
79

RoboCast: Asynchronous Communication in Robot Networks
Bouzid, Zohir ; Dolev, Shlomi ; Potop-Butucaru, Maria ; et al.
https://inria.hal.science/inria-00496379 ; [Research Report] ???. 2010.

robot networks stigmergy asynchronous robots corda collision avoidance ACM: F.: Theory of Compu...
Report
Save to List
80

Improved complexity bounds for real root isolation using Continued Fractions
Tsigaridas, Elias ; Department of Computer Science Aarhus ; Aarhus Universitet
https://hal.inria.fr/inria-00524834 ; [Research Report] RR2010, Aarhus Universitet. 2010.

real root isolation continued fraction real root problem separation bound polynomial ACM: F.: Theory of Compu...
Report
Save to List

Filter