IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 217
Titolo Data di pubblicazione Autore(i) File
Various commonly occurring decidable extensions of multi-level syllogistic 1-gen-2003 Cantone, Domenico; Formisano, A; Omodeo, E. G.; Schwartz, J. T. file da validare
Fast-Search: a New Efficient Variant of the Boyer-Moore String Matching Algorithm 1-gen-2003 Cantone, Domenico; Faro, Simone
Compiling dyadic first-order specifications into map algebra 1-gen-2003 Cantone, Domenico; Formisano, A; OMODEO E., G; Zarba, C. file da validare
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions 1-gen-2003 Cantone, Domenico; SCHWARTZ J., T; Zarba, C. G. file da validare
Searching for a substring with constant extra space complexity 1-gen-2004 Cantone, Domenico; Faro, Simone file da validare
Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences 1-gen-2004 Cantone, Domenico; Salvatore, Cristofaro; Faro, Simone file da validare
Two-Levels Greedy: a generalization of Dijkstra's shortest path algorithm 1-gen-2004 Cantone, Domenico; Faro, Simone
Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm 1-gen-2004 Cantone, Domenico; Faro, S. file da validare
Two Levels Greedy: an improvement of the Dijkstra shortest path algorithm 1-gen-2004 Cantone, Domenico; Faro, Simone file da validare
Notes from the logbook of a proof-checker's project 1-gen-2004 Cantone, D.; Omodeo, E. G.; Schwartz, J. T.; Ursino, P. file da validare
Applications of formative processes to the decision problem in set theory 1-gen-2004 Cantone, Domenico file da validare
Applications of formative processes to the decision problem in set theory 1-gen-2004 Cantone, Domenico; Ursino, P. file da validare
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case 1-gen-2004 Zarba, C. G.; Cantone, Domenico; Schwartz, J. T.
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. II: The Multi-Level Case 1-gen-2005 Cantone, Domenico; ZARBA C., G; Schwartz, J. T. file da validare
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 1-gen-2005 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
A Sound Framework for $\delta$-Rule Variants in Free Variable Semantic Tableaux (Short abstract) 1-gen-2005 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
Fast-Search algorithms: New efficient variants of the Boyer-Moore pattern-matching algorithm 1-gen-2005 Cantone, Domenico; Faro, Simone file da validare
A Space Efficient Bit-Parallel Algorithm for the Multiple String Matching Problem 1-gen-2005 Cantone, Domenico; Faro, Simone file da validare
Solving The (Delta, Alpha)-Approximate Matching Problem Under Transposition Invariance In Musical Sequences 1-gen-2005 Cantone, Domenico; Salvatore, Cristofaro; Faro, Simone file da validare
Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces 1-gen-2005 Cantone, Domenico; Ferro, Alfredo; Pulvirenti, Alfredo; REFORGIATO RECUPERO, D; Shasha, D.
Mostrati risultati da 41 a 60 di 217
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile