07.2 Altre pubblicazioni (Other types of publications)

07.2 Altre pubblicazioni (Other types of publications): [4095] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 721 a 740 di 4.095

Leveraging Web Services Discovery with Customizable Hybrid Matching

2006-01-01 Kokash, Natallia; van den Heuvel, Willem-Jan; D'Andrea, Vincenzo

Model Checking Dynamic-Epistemic Spatial Logic

2006-01-01 Mardare, Radu; Priami, Corrado

Dynamic-Epistemic Spatial Logic

2006-01-01 Mardare, Radu; Priami, Corrado

Routines, Hierarchies of Problems, Procedural Behaviour: Some Evidence From Experiments

1995-01-01 Egidi, Massimo

The “Creative Destruction” in Economic and Political Institutions

1995-01-01 Egidi, Massimo

Volterra equations perturbed by noise

2006-01-01 Bonaccorsi, Stefano; Desch, Wolfgang

Lorenz gauged vector potential formulations for the time-harmonic eddy-current problem with L∞-regularity of material properties

2006-01-01 Fernandes, Paolo; Valli, Alberto

Open Knowledge: Semantic Webs Through Peer-to-Peer Interaction

2006-01-01 Robertson, Dave; Giunchiglia, Fausto; van Harmelen, Frank; Marchese, Maurizio; Sabou, Marta; Schorlemmer, Marco; Shadbolt, Nigel; Siebes, Ronnie; Sierra, Carles; Walton, Chris; Dasmahapatra, Srinandan; Dupplaw, Dave; Lewis, Paul; Yatskevich, Mikalai; Kotoulas, Spyros; Perreau de Pinninck, Adrian; Loizou, Antonis

15. Artista bresciano, Assunzione della Vergine

2023-01-01 Vinco, Mattia

A Large Scale Dataset for the Evaluation of Ontology Matching Systems

2008-01-01 Giunchiglia, Fausto; Yatskevich, Mikalai; Avesani, Paolo; Shvaiko, Pavel

A Large Scale Dataset for the Evaluation of Matching Systems

2006-01-01 Yatskevich, Mikalai; Giunchiglia, Fausto; Avesani, Paolo

A Comparison of Web Service Interface Similarity Measures

2006-01-01 Kokash, Natallia

Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC

2006-01-01 Sebastiani, Roberto; Vescovi, Michele

Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis

2006-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto

To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T)

2006-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Santuari, Alessandro; Sebastiani, Roberto

Learning-Based Spam Filters: the Influence of the Temporal Distribution of Training Data

2006-01-01 Bryl, Anton

Situation-Aware Radio Resource Management for Multi-Rate MC-CDMA Wireless Networks Targeted at Multimedia Data Exchanges in Local Areas

2006-01-01 D'Orazio, Leandro; Sacchi, Claudio; Granelli, Fabrizio; De Natale, Francesco G. B.

Community-Driven Ontology Matching

2006-01-01 V. Zhdanova, Anna; Shvaiko, Pavel

Sweeper-Agent Recommendations-Tree Early Scheme

2006-01-01 Abdel-Naby, Sameh; Giorgini, Paolo

Reactive and dynamic local search for Max-Clique, does the complexity pay off?

2006-01-01 Battiti, Roberto; Mascia, Franco

Titolo	Anno di pubblicazione	Autori Unitn
Leveraging Web Services Discovery with Customizable Hybrid Matching	1-gen-2006	Kokash, Natalliavan den Heuvel, Willem-JanD'Andrea, Vincenzo + -
Model Checking Dynamic-Epistemic Spatial Logic	1-gen-2006	Mardare, RaduPriami, Corrado
Dynamic-Epistemic Spatial Logic	1-gen-2006	Mardare, RaduPriami, Corrado
Routines, Hierarchies of Problems, Procedural Behaviour: Some Evidence From Experiments	1-gen-1995	Egidi, Massimo
The “Creative Destruction” in Economic and Political Institutions	1-gen-1995	Egidi, Massimo
Volterra equations perturbed by noise	1-gen-2006	Bonaccorsi, StefanoDesch, Wolfgang + -
Lorenz gauged vector potential formulations for the time-harmonic eddy-current problem with L∞-regularity of material properties	1-gen-2006	Fernandes, PaoloValli, Alberto + -
Open Knowledge: Semantic Webs Through Peer-to-Peer Interaction	1-gen-2006	Robertson, DaveGiunchiglia, Faustovan Harmelen, FrankMarchese, MaurizioSabou, MartaSchorlemmer, MarcoShadbolt, NigelSiebes, RonnieSierra, CarlesWalton, ChrisDasmahapatra, SrinandanDupplaw, DaveLewis, PaulYatskevich, MikalaiKotoulas, SpyrosPerreau de Pinninck, AdrianLoizou, Antonis + -
15. Artista bresciano, Assunzione della Vergine	1-gen-2023	Vinco, Mattia
A Large Scale Dataset for the Evaluation of Ontology Matching Systems	1-gen-2008	Giunchiglia, FaustoYatskevich, MikalaiAvesani, PaoloShvaiko, Pavel
A Large Scale Dataset for the Evaluation of Matching Systems	1-gen-2006	Yatskevich, MikalaiGiunchiglia, FaustoAvesani, Paolo
A Comparison of Web Service Interface Similarity Measures	1-gen-2006	Kokash, Natallia
Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC	1-gen-2006	Sebastiani, RobertoVescovi, Michele
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis	1-gen-2006	Bruttomesso, RobertoCimatti, AlessandroFranzén, AndersGriggio, AlbertoSebastiani, Roberto + -
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T)	1-gen-2006	Bruttomesso, RobertoCimatti, AlessandroFranzén, AndersGriggio, AlbertoSantuari, AlessandroSebastiani, Roberto + -
Learning-Based Spam Filters: the Influence of the Temporal Distribution of Training Data	1-gen-2006	Bryl, Anton
Situation-Aware Radio Resource Management for Multi-Rate MC-CDMA Wireless Networks Targeted at Multimedia Data Exchanges in Local Areas	1-gen-2006	D'Orazio, LeandroSacchi, ClaudioGranelli, FabrizioDe Natale, Francesco G. B. + -
Community-Driven Ontology Matching	1-gen-2006	V. Zhdanova, AnnaShvaiko, Pavel + -
Sweeper-Agent Recommendations-Tree Early Scheme	1-gen-2006	Abdel-Naby, SamehGiorgini, Paolo
Reactive and dynamic local search for Max-Clique, does the complexity pay off?	1-gen-2006	Battiti, RobertoMascia, Franco

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 721 a 740 di 4.095

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

Scopri

Accesso al fulltext

no fulltext2302
open1647
reserved136
partially open10