Istituto di Scienza e Tecnologie dell'Informazione
Semantic Scholar uses AI to extract papers important to this topic.
In this paper we present the approach used in the design of the scheduling kernel of an Automatic Train Supervision system (ATS… (More)
In this paper we present the deadlock avoidance approach used in the design of the scheduling kernel of an Automatic Train… (More)
Mining query recommendation from query logs has attracted a lot of attention in recent years. We propose to use query… (More)
- Eurographics Italian Chapter Conference
The paper presents MeshLab, an open source, extensible, mesh processing system that has been developed at the Visual Computing… (More)
- Int. J. Web Eng. Technol.
In this paper, we present an environment for authoring pervasive multimodal user interfaces. It is composed of a set of XML-based… (More)
1. MOTIVATIONS In today’s information society the demand for Digital Libraries is changing. The implementation of nowadays… (More)
— The management and exchange of multimedia data is a challenging area of research due to the variety of formats, standards and… (More)
Nowadays common practice indicates that the requirement engineering (RE) process critically influences the success of the system… (More)
- Electr. Notes Theor. Comput. Sci.
The application of formal methods in the rigorous definition and analysis of the functionality and the behaviour of a system… (More)
Spatio-temporal, geo-referenced datasets are growing rapidly, and will be more in the near future, due to both technological and… (More)