6 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
more
Typology operator: and / or
Language operator: and / or
Date operator: and / or
Rights operator: and / or
2014 Conference object Unknown

Pragmatic ambiguity detection in natural language requirements
Ferrari A., Lipari G., Gnesi S., Spagnolo G. O.
This paper presents an approach for pragmatic ambiguity detection in natural language requirements. Pragmatic ambiguities depend on the context of a requirement, which includes the background knowledge of the reader: different backgrounds can lead to different interpretations. The presented approach employs a graph-based modelling of the background knowledge of different readers, and uses a shortest-path search algorithm to model the pragmatic interpretation of a requirement. The comparison of different pragmatic interpretations is used to decide if a requirement is ambiguous or not. The paper also provides a case study on real-world requirements, where we have assessed the effectiveness of the approach.Source: AIRE 2014 - IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, pp. 1–8, Karlskrona, Germany, 24-26 August 2014
DOI: 10.1109/AIRE.2014.6894849
Project(s): LEARN PAD via OpenAIRE

See at: DOI Resolver | ieeexplore.ieee.org | CNR People


2018 Other Unknown

Gestione seminari
Volpini F., Lipari G.
L'applicazione web "Gestione Seminari" nasce dall'esigenza di avere uno strumento interno all'Istituto per la gestione e la notifica dei seminari che si svolgono nell'Area della Ricerca di Pisa. L'applicazione prevede due livelli di accesso, ossia due tipi di utenti: - utente "semplice", ossia personale ISTI avente credenziali Siper o SimpleSaml, il quale può inserire e modificare i propri seminari, nonché gli speakers esterni inerenti. - utente "gestore", ossia personale ISTI registrato all'interno dell'applicazione col ruolo di "gestore" che, oltre ad ereditare i permessi dell'utente "semplice", ha la possibilità di approvare e notificare i seminari inseriti dagli utenti "semplici", nonché di gestire l'elenco degli indirizzi email ai quali inviare le notifiche.

See at: seminari.isti.cnr.it | CNR People


2018 Other Unknown

Gestione pacchi
Volpini F., Lipari G.
L'applicazione Web "Gestione Pacchi" nasce dall'esigenza di controllare il flusso di pacchi che transitano dal magazzino di istituto, siano essi privati ovvero istituzionali. L'applicazione Web "Gestione Pacchi" è accessibile tramite un browser all'indirizzo http://ut15.isti.cnr.it/gepa solamente dal PC posto in stanza C-10. Il PC è dotato di un lettore badge e di un lettore di codice a barre. L'applicazione permette di registrare i pacchi in entrata e in uscita dal magazzino. I destinatari dei pacchi vengono avviati tramite email dell'arrivo dei pacchi e anche della eventuale consegna a terzi. Il tutto viene conservato in un registro elettronico consultabile in qualsiasi momento.

See at: ut15.isti.cnr.it | CNR People


2007 Other Unknown

PISATEL (Pisa Initiative on Software Architectures for TELecommunications)
Bartolini C., Bertolino A., Bonuccelli M. A., De Angelis G., Lipari G., Lonetti F., Eda Marchetti, Mulas D., Polini A., Ribolini A., Sabetta A.
Pisatel Lab performs research on software for telecommunications. Main areas of interest are software engineering methods and tools, software architectures, networks, real time systems, and protocols. The research spans on both methodological approaches and tools for software architecture specification, design and test, and on the novel applications and features of specific interest for the industrial telecommunication sector, such as protocols for wireless internet access, as well as real time and embedded multiprocessor systems used for switch operative control. The research activity is organized into strategic projects that involve personnel from ISTI, Pisa University, Scuola Sant'Anna, and ERI. A number of young researchers will work full time in the laboratory, and will act as the connecting agents between the senior researchers from academia and industry. These projects will consider real world case studies and problems provided by ERI, and develop and experiment on them innovative ideas and techniques

See at: CNR People


2011 Conference object Unknown

Element Detection relying on Information Retrieval Techniques applied to Laser Spectroscopy
Amato Giuseppe, Legnaioli Stefano, Lorenzetti Giulia, Palleschi Vincenzo, Pardini Lorenzo, Rabitti Fausto
In this paper, we propose a technique for automatic element detection from Laser Induced Breakdown Spectroscopy (LIBS) spectra. The presented approach uses a technique derived from information retrieval and, more specifically, from the emph{Vector Space Model}, to compute the similarity between spectra of elements and samples. These spectra, obtained by LIBS methods, can be represented as sequences of peaks of light emissions of specific wavelengths and intensities. In text retrieval, vectors are built using terms of the vocabulary and weight assessing the relevance of terms in documents or queries. In our case, peaks play the role of terms, elements that of documents, and samples that of queries. We will discuss how to define vectors, weights, and similarity between spectra. Experiments prove the validity of the method.Source: SISAP 2011 - Fourth International Conference on SImilarity Search and APplications, pp. 89–95, Lipari, Italy, 30 Giugno - 1 Luglio 2011

See at: CNR People


2011 Conference object Unknown

Geometric consistency checks for kNN based image classification relying on local features
Amato G., Falchi F., Gennaro C.
Applications of image content recognition, as for instance landmark recognition, can be obtained by using techniques of kNN classifications based on the use of local image features, such as SIFT or SURF. Quality of image classification can be improved by defining geometric consistency check rules based on space transformations of the scene depicted in images. However, this prevents the use of state of the art access methods for similarity searching and sequential scan of the images in the training sets has to be executed in order to perform classification. In this paper we propose a technique that allows one to use access methods for similarity searching, such as those exploiting metric space properties, in order to perform kNN classification with geometric consistency checks. We will see that the proposed approach, in addition to offer an obvious efficiency improvement, surprisingly offers also an improvement of the effectiveness of the classificationSource: Fourth International Conference on SImilarity Search and APplications, SISAP 2011. ACM Press : New York (Stati Uniti d'America), pp. 81–88, Lipari, Italia, 30 Giugno - 1 Luglio 2011
DOI: 10.1145/1995412.1995428

See at: dl.acm.org | DOI Resolver | CNR People