• Suche: "ACM: F.: Theory of Computation"

Treffer 41 - 60 von 1.805

41

A Floyd-Warshall Approach to Value Computation in Markov Decision Processes (Extended Version)
Une approche de type Floyd-Warshall pour le calcul de la valeur dans les Markov Decision Processes (Version Longue)
Come, Aymeric ; Fabre, Éric ; Hélouët, Loïc ; et al.

Markov Decision processe... Value Iteration Policy Iteration Floyd-Warshall ACM: F.: Theory of Compu... [INFO]Computer Science [...
E-Ressource
Zu den Favoriten
42

Knowledge Graph for NLG in the context of conversational agents
Knowledge Graph pour NLG dans le contexte des agents conversationnels
Ghanem, Hussam ; Atmani, Massinissa ; Cruz, Christophe ; et al.
French Regional Conference on Complex Systems (FRCCS 2023), May 2023, Le Havre, France

Le Havre, France Conversational agents Knowledge graphs Natural Language Generat... ACM: F.: Theory of Compu... ACM: H.: Information Sys... …
Konferenz
Zu den Favoriten
43

Lindenmayer graph languages, first-order theories and expanders
Knapik, Teodor ; Institut de sciences exactes et appliquées (ISEA) ; Université de la Nouvelle-Calédonie (UNC)

parallel graph grammars 1st order model checking automatic structures expanders ACM: F.: Theory of Compu... [INFO]Computer Science [...
E-Ressource
Zu den Favoriten
44

Verifying Unboundedness via Amalgamation
Anand, Ashwani ; Schmitz, Sylvain ; Schütze, Lia ; et al.
LICS 2024. :1-15

Tallinn, Estonia ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... F.4.3: Formal Languages [INFO.INFO-FL]Computer S... Formal Languages and Aut...
Konferenz
Zu den Favoriten
45

Two-Client Inner-Product Functional Encryption with an Application to Money-Laundering Detection
de Perthuis, Paola ; Pointcheval, David ; Cosmian ; et al.
ACM CCS- Computer and Communications Security 2022, Nov 2022, Los Angeles, United States

Los Angeles, United Stat... ACM: F.: Theory of Compu... ACM: G.: Mathematics of... [INFO]Computer Science [...
Konferenz
Zu den Favoriten
46

Sub-Pixel Optical Satellite Image Registration For Ground Deformation Using Deep Learning
Recalage D'Images Satellites Au Niveau Sous-Pixellique Pour L'Etude De Déformation Du Sol Par Deep Learning
Montagnon, Tristan ; Hollingsworth, James ; Pathier, Erwan ; et al.

Bordeaux, France image registration satellite imagery deep learning geodesy optical image correlatio... …
Konferenz
Zu den Favoriten
47

Zeta Functions and the (Linear) Logic of Markov Processes
Seiller, Thomas ; Centre National de la Recherche Scientifique (CNRS) ; Laboratoire d'Informatique de Paris-Nord (LIPN) ; et al.

ACM: F.: Theory of Compu... F.1: COMPUTATION BY ABST... F.1.2: Modes of Computat... F.1.2.4: Probabilistic c... F.3: LOGICS AND MEANINGS... F.3.2: Semantics of Prog... …
E-Ressource
Zu den Favoriten
48

NP on Logarithmic Space
Vega, Frank ; NataSquad

Complexity Classes Completeness Polynomial Time Reduction Logarithmic Space Computational Algorithm …
E-Ressource
Zu den Favoriten
49

Generic properties in some classes of automaton groups
Propriétés génériques dans certaines classes de groupes d'automate
Godin, Thibault ; Institut Élie Cartan de Lorraine (IECL) ; Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) ; et al.
25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA). :91-103

Guadalajara, Mexico ACM: F.: Theory of Compu... F.1: COMPUTATION BY ABST... F.1.1: Models of Computa... F.1.1.0: Automata (e.g.,... F.4: MATHEMATICAL LOGIC... …
Konferenz
Zu den Favoriten
50

Kit de survie - Logique
Schwarzentruber, François ; Logic and Applications (LogicA) ; École normale supérieure - Cachan (ENS Cachan)-Université de Rennes (UR)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) ; et al.
Master. France. 2019. :1-72

ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... [INFO]Computer Science [... [MATH]Mathematics [math]
Buch
Zu den Favoriten
51

Glucagon and insulin production in pancreatic cells modeled using Petri nets and Boolean networks.
Barylska, Kamila ; Delaplace, Franck ; Gogolińska, Anna ; et al.

bioinformatics analysis modelling Boolean networks Petri nets biological system …
E-Ressource
Zu den Favoriten
52

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets
Karlo Aguirre-Samboní, Giann ; Haar, Stefan ; Paulevé, Loïc ; et al.

Madrid, Spain ACM: G.: Mathematics of... ACM: F.: Theory of Compu... [INFO.INFO-OH]Computer S... Other [cs.OH] [INFO.INFO-FL]Computer S... …
Konferenz
Zu den Favoriten
53

A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions
Cheng, Zheng ; Méry, Dominique ; Proof-oriented development of computer-based systems (MOSEL) ; et al.

control theory verification Laplace transform formal method ACM: D.: Software ACM: F.: Theory of Compu... …
E-Ressource
Zu den Favoriten
54

Modelling a faillibilistic and perspectivistic reasoning
Kohler, Arnaud ; Aix Marseille Université (AMU)
PFIA JIAF 2022, Jun 2022, Saint-Etienne, France

Saint-Etienne, France ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... [INFO.INFO-AI]Computer S... Artificial Intelligence... [MATH.MATH-LO]Mathematic... …
Konferenz
Zu den Favoriten
55

Drag Rewriting
Dershowitz, Nachum ; Jouannaud, Jean-Pierre ; Orejas, Fernando ; et al.

Graph rewriting drags cyclic composition rewriting drag morphisms ACM: F.: Theory of Compu... …
E-Ressource
Zu den Favoriten
56

Fast and accurate genome-scale identification of DNA-binding sites
Martin, David ; Maillol, Vincent ; Rivals, Eric ; et al.
BIBM 2018 - 12th IEEE International Conference on Bioinformatics and Biomedicine. :201-205

Madrid, Spain Web Bioinformatics Pattern matching Stringology Search …
Konferenz
Zu den Favoriten
57

Round-Bounded Control of Parameterized Systems
Bollig, Benedikt ; Lehaut, Mathieu ; Sznajder, Nathalie ; et al.
16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018). :370-386

Los Angeles, California,... ACM: F.: Theory of Compu... F.1: COMPUTATION BY ABST... F.1.1: Models of Computa... F.1.1.0: Automata (e.g.,... F.3: LOGICS AND MEANINGS... …
Konferenz
Zu den Favoriten
58

A Hypersequent Calculus with Clusters for Linear Frames
Baelde, David ; Lick, Anthony ; Schmitz, Sylvain ; et al.
Twefth Conference on Advances in Modal Logic. :36-55

Bern, Switzerland clusters proof systems modal logics hypersequents ACM: F.: Theory of Compu... …
Konferenz
Zu den Favoriten
59

Two-Way Automata over Locally Finite Semirings
Dando, Louis-Marie ; Lombardy, Sylvain ; Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; et al.
20th International Conference on Descriptional Complexity of Formal Systems (DCFS). :62-74

Hallifax, NS, Canada Finite semirings Two-way automata ACM: F.: Theory of Compu... F.1: COMPUTATION BY ABST... F.1.1: Models of Computa... …
Konferenz
Zu den Favoriten
60

Formalizing Implicative Algebras in Coq
Miquey, Étienne ; Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE) ; Centre Inria de l'Université de Rennes ; et al.
ITP 2018 - 9th International Conference on Interactive Theorem Proving. :459-476

Oxford, United Kingdom ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... F.3.2: Semantics of Prog... F.3.2.0: Algebraic appro... ACM: D.: Software …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter