-
ANALISI DI IMMAGINI DI SPARTITI MUSICALI: METODI E STRUMENTI PER IL RICONOSCIMENTO E LINDICIZZAZIONE AUTOMATICACorso di Dottorato di Ricerca: Ingegneria Informatica e delle Telecomunicazioni Curriculum: Architetture dei Sistemi di Elaborazione dellInformazione. UNIVERSITA' DEGLI STUDI DI FIRENZE Facoltà ...722 Hits Rating
-
Technical report about an example of development: Crossroad Control SimulatorFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...821 Hits Rating
-
Interval Temporal Logic for real-Time Systems: Specification, Execution and Verification ProcessesFormal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...510 Hits Rating
-
TILCOX an Extension of TILCO Temporal LogicFormal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...784 Hits Rating
-
Sistema Flessibile per la Gestione di Catene di ProduzioneAbstract Along production pipelines in manufactory industries several elaboration phases in which the movement of interpolated axes are present. These activities have to be synchronized with ...756 Hits Rating
-
Effort estimation and prediction of object-oriented systemsAbstract Due to the growing diffusion of the object-oriented paradigm (OOP) and the need of maintaining under control the process of software development, industries are looking for metrics ...615 Hits Rating
-
Automatic Justification and Line Breaking of Music SheetsAutomated music formatting helps composers and copyists to speed up the process of music score editing by facilitating complex evaluations needed to produce music sheets in terms of symbol ...978 Hits Rating
-
FODD 2015: Saluti Istituzionali, Prof. Marco BellandiFODD- Firenze Open Data Day 21 Febbraio 2015 SALONE DE’ DUGENTO – Palazzo Vecchio Piazza della Signoria, 1 Firenze http://www.disit.org/fodd • 09:30-10:00 Saluti Istituzionali del Comune di ...956 Hits Rating
-
Corso Sistemi Distribuiti: Programmazione in PHP, Parte 1c (1 of 2)Programmare per il Web:Il linguaggio PHP Parte I: Introduzione Parte II: PHP Parte III: Approfondimenti Architettura Software del Web modello concettuale per il Web programmazione in PHP.1708 Hits Rating
-
CORSO IFTS PROGED: 2/7 Big DataAspetti fondamentali delle tecnologie Big Data Aspetti di Data Management Aspetti Architetturali Aspetti di Accesso e Rappresentazione dei Dati Aspetti di Ingestion, Mining e ...947 Hits Rating