pdf

Technical report about Dev-TILCO

Submitted by admin on Thu, 02/20/2014 - 18:55

Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated occurrences liveness and safety conditions etc This paper describes an evolution of the Temporal Interval Log

Tecnical report about an example of development: Crossroad Control Simulator

Submitted by admin on Thu, 02/20/2014 - 18:54

Communicating TILCO for RealTime System Specication

Submitted by admin on Thu, 02/20/2014 - 18:53

Formal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated occurrences liveness and safety conditions etc This paper describes an evolution of the Temporal Interval L

ANALISI DI IMMAGINI DI SPARTITI MUSICALI: METODI E STRUMENTI PER IL RICONOSCIMENTO E L’INDICIZZAZIONE AUTOMATICA.

Submitted by admin on Thu, 02/20/2014 - 16:11

Corso di Dottorato di Ricerca: Ingegneria Informatica e delle Telecomunicazioni Curriculum: Architetture dei Sistemi di Elaborazione dellInformazione. UNIVERSITA' DEGLI STUDI DI FIRENZE Facoltà di Ingegneria - Dipartimento di Sistemi e Informatica. In questo documento sono riportati i risultati del

Estrazione e Deduzione della Conoscenza via Modelli Semantici: From Social Network to Smart City

Submitted by admin on Thu, 02/20/2014 - 01:16

seminario per il Corso di Dottorato 2014, Social Networking and knowledge, Semantic and Social Networks, Recommendations and Suggestions, Natural Language Processing System, Knowledge Representation System, Reasoning System, Sistema OSIM, Smart Cities: Sii-Mobility, Coll@bora, LOG LOD, Service Map.