• Suche: "F.2.2: Nonnumerical Algorithms and Problems"

Treffer 141 - 160 von 321

141

Counting and generating lambda terms
Grygiel, Katarzyna ; Lescanne, Pierre ; Theoretical Computer Science Department [Krakow] (TCS) ; et al.

Lambda calculus combinatorics functional programming test random generator ranking …
E-Ressource
Zu den Favoriten
142

Triangulating Smooth Submanifolds with Light Scaffolding
Boissonnat, Jean-Daniel ; Ghosh, Arijit ; Geometric computing (GEOMETRICA) ; et al.
[Research Report] RR-7660, INRIA. 2011

computational topology computational geometry manifold sampling Manifold triangulation meshing manifold learning …
Report
Zu den Favoriten
143

Dynamic Fractional Resource Scheduling vs. Batch Scheduling
Casanova, Henri ; Stillwell, Mark ; Vivien, Frédéric ; et al.
[Research Report] RR-7659, INRIA. 2011

cluster scheduler virtual machine vector bin packing high performance computi... batch scheduling …
Report
Zu den Favoriten
144

Delaunay Triangulations of Point Sets in Closed Euclidean d-Manifolds
Caroli, Manuel ; Teillaud, Monique ; Geometric computing (GEOMETRICA) ; et al.
[Research Report] RR-7352, INRIA. 2010

Delaunay triangulation Euclidean manifold crystallographic groups simplicial complex flat manifold closed manifold …
Report
Zu den Favoriten
145

Topological Inference via Meshing
Hudson, Benoît ; Miller, Gary, L. ; Oudot, Steve, Y. ; et al.
[Research Report] RR-7125, INRIA. 2009

Topological persistence Delaunay triangulation offsets sparse Voronoi refinemen... ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... …
Report
Zu den Favoriten
146

Robust and Efficient Delaunay triangulations of points on or close to a sphere
Caroli, Manuel ; Machado Manhães de Castro, Pedro ; Loriot, Sebastien ; et al.
[Research Report] RR-7004, INRIA. 2009

Computational Geometry Delaunay Triangulation Voronoi Diagram Sphere Space of Circles Exact Geometric Computin... …
Report
Zu den Favoriten
147

Computing 3D Periodic Triangulations
Caroli, Manuel ; Teillaud, Monique ; Geometric computing (GEOMETRICA) ; et al.
[Research Report] RR-6823, INRIA. 2009

flat torus periodic Delaunay triangulation simplicial complex ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... …
Report
Zu den Favoriten
148

Persistence-Based Clustering in Riemannian Manifolds
Chazal, Frédéric ; Guibas, Leonidas J. ; Oudot, Steve, Y. ; et al.
[Research Report] RR-6968, INRIA. 2009, 47 p

clustering unsupervised learning topological persistence Rips graph barcode computational topology …
Report
Zu den Favoriten
149

Modeling, Analysis, Digital image representation Combinatorial approach of imagery
Modélisation, Analyse, Représentation des Images Numériques Approche combinatoire de l’imagerie
Fiorio, Christophe ; Image & Interaction (ICAR) ; Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; et al.
Traitement des images [eess.IV]. Université Montpellier 2, 2008

combinatorial algorithms Digital image image processing digital topology region segmentation Combinatorial maps …
Report
Zu den Favoriten
150

Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
Burel, Guillaume ; Formal islands: foundations and applications (PAREO) ; INRIA Lorraine ; et al.

Arithmetic deduction modulo higher-order logic proof-length speed-ups term rewriting ACM: F.: Theory of Compu... …
E-Ressource
Zu den Favoriten
151

Analysis of Scalar Fields over Point Cloud Data
Chazal, Frédéric ; Guibas, Leonidas J. ; Oudot, Steve Y. ; et al.
[Research Report] RR-6576, INRIA. 2008

Persistent homology Persistence modules Sampling theory Vietoris-Rips complexes Morse theory ACM: F.: Theory of Compu... …
Report
Zu den Favoriten
152

Scheduling multiple divisible loads on a linear processor network
Gallet, Matthieu ; Robert, Yves ; Vivien, Frédéric ; et al.
[Research Report] RR-6235, INRIA. 2007

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...
Report
Zu den Favoriten
153

Discrete Non Neterminism and Nash Equilibria for Strategy-Based Games
Le Roux, Stéphane ; Laboratoire de l'Informatique du Parallélisme (LIP) ; École normale supérieure de Lyon (ENS de Lyon) ; et al.
[Research Report] 2007

multi-strategic games Abstract strategic games Nash equilibrium discrete non-determinism discrete equilibrium constructive …
Report
Zu den Favoriten
154

Comments on 'Design and performance evaluation of load distribution strategies for multiple loads on heterogeneous linear daisy chain networks'
Gallet, Matthieu ; Robert, Yves ; Vivien, Frédéric ; et al.

single-installment divisible loads heterogeneous processors scheduling multiple-installments tâches divisibles …
Report
Zu den Favoriten
155

Computing the Probability Vectors for Random Walks on Graphs with Bounded Arboricity
Goel, Gaurav ; Algorithms for the Grid (ALGORILLE) ; INRIA Lorraine ; et al.
[Internship report] 2005

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... F.2.2.1: Computations on... ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... …
Report
Zu den Favoriten
156

Locked and Unlocked Polygonal Chains in Three Dimensions
Biedl, Thérèse ; Demaine, Erik ; Demaine, Martin ; et al.
Symposium on Discrete Algorithms - SODA'99. :866-867

Baltimore, United States linkages mécanismes articulés ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC... G.2.0: General …
Konferenz
Zu den Favoriten
157

Re-projection without Reconstruction
Pertin, Dimitri ; Normand, Nicolas ; Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN) ; et al.
9ème Journées du Groupe de travail de Géométrie Discrète. :43-43

Reims, France discrete tomography redundancy convolution storage ghost …
Konferenz
Zu den Favoriten
158

Implicational Relevance Logic is 2-ExpTime-Complete
Schmitz, Sylvain ; Verification in databases (DAHU) ; Laboratoire Spécification et Vérification [Cachan] (LSV) ; et al.
Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications. :395-409

Vienna, Austria Relevance logic branching VASS focusing proofs complexity ACM: F.: Theory of Compu... …
Konferenz
Zu den Favoriten
159

Evaluating and Optimizing Stabilizing Dining Philosophers
Adamek, Jordan ; Farina, Giovanni ; Nesterenko, Mikhail ; et al.
Journal of Parallel and Distributed Computing. 109:63-74

Dependability Benchmarki... Self-stabilization Dining Philosophers ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... C.2.1: Network Architect... …
Zeitschrift
Zu den Favoriten
160

Delaunay Triangulation of Manifolds
Boissonnat, Jean-Daniel ; Dyer, Ramsay ; Ghosh, Arijit ; et al.
Foundations of Computational Mathematics. 45:38-38

manifold triangulation Delaunay complex protection perturbation ACM: F.: Theory of Compu... …
Zeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter