CINECA IRIS Institutional Research Information System

Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 221 a 240 di 325
Titolo Data di pubblicazione Autore(i) File
Prototyping and preliminary evaluation of sign language translation system in the railway domain 2015 Battaglino, Cristina; Geraci, Carlo; Lombardo, Vincenzo; Mazzei, Alessandro
qPCF: A language for quantum circuit computations 2017 Luca Paolini; Margherita Zorzi
Qualitative analysis of VASS-induced MDPs 2016 Abdulla, Parosh Aziz; Ciobanu, Radu; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
Query Rewriting in Itemset Mining 2004 R. MEO; M. BOTTA; R. ESPOSITO
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations 2014 S. Berardi; S. Steila
Rank-2 Intersection and Polymorphic Recursion 2005 F. DAMIANI
Reasoning about communicating agents in the semantic web 2003 M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach 2001 M. Baldoni; L. Giordano; A. Martelli; V. Patti
Reasoning about Multiple Aspects in Rational Closure for DLs. 2016 Gliozzi, V.
Reasoning about self and others: communicating agents in a modal action logic 2003 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture 2007 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
Recommending Multimedia Objects in Cultural Heritage Applications 2013 I. Bartolini; V. Moscato; R.G. Pensa; A. Penta; A. Picariello; C. Sansone; M.L. Sapino
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking 2016 Damiani, Ferruccio; Lienhardt, Michael
Refined Effects for Unanticipated Object Re-classification: Fickle3 2003 F. DAMIANI; SOPHIA DROSSOPOULOU; PAOLA GIANNINI
Refined Strategies for Semantic Unification 1987 P. G. Bosco; E. Giovannetti; C. Moiso
Refinement Types for Program Analysis 1996 M. COPPO; DAMIANI F.; GIANNINI P.
Relationships Meet their Roles in Object Oriented Programming 2007 M. BALDONI; G. BOELLA; L. VAN DER TORRE
A Reputation System for Multirole Sessions 2012 Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
Resilient distributed collection through information speed thresholds 2020 Audrito G.; Bergamini S.; Damiani F.; Viroli M.
Resources for Comparative Analysis of IDN Authoring Tools 2022 Shibolet, Y; Lombardo, V
Mostrati risultati da 221 a 240 di 325
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