FAQ

Istituto di Scienza e Tecnologie dell'Informazione

Known as: ISTI 
The "Alessandro Faedo" Institute of Information Science and Technology (in Italian, Istituto di Scienza e Tecnologie dell'Informazione) is an… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1986-2016
024619862016

Related topics

Related topics

5 relations
Fabio PaternòJournal of Graphics ToolsMeshLabNational Research Council
(More)

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Istituto di Scienza e Tecnologie dell'Informazione
National Research Council
MeshLab
Journal of Graphics Tools
Fabio Paternò
QuteMol

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach
In this paper we present the approach used in the design of the scheduling kernel of an Automatic Train Supervision system (ATS… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
Deadlock Avoidance in Train Scheduling: A Model Checking Approach
In this paper we present the deadlock avoidance approach used in the design of the scheduling kernel of an Automatic Train… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
RGU-ISTI-Essex at TREC 2011 Session Track
Mining query recommendation from query logs has attracted a lot of attention in recent years. We propose to use query… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
MeshLab: an Open-Source Mesh Processing Tool
The paper presents MeshLab, an open source, extensible, mesh processing system that has been developed at the Visual Computing… (More)
Is this relevant?
2008
2008
Authoring pervasive multimodal user interfaces
In this paper, we present an environment for authoring pervasive multimodal user interfaces. It is composed of a set of XML-based… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
First workshop on very large digital libraries -- VLDL 2008
1. MOTIVATIONS In today’s information society the demand for Digital Libraries is changing. The implementation of nowadays… (More)
Is this relevant?
2006
2006
MultiMedia Metadata Management: a Proposal for an Infrastructure
— The management and exchange of multimedia data is a challenging area of research due to the variety of formats, standards and… (More)
  • figure 1
  • figure 2
Is this relevant?
2005
2005
Quality analysis of NL requirements: an industrial case study
Nowadays common practice indicates that the requirement engineering (RE) process critically influences the success of the system… (More)
  • table 1
  • figure 1
  • figure 2
Is this relevant?
2003
2003
Formal Specification and Verification of Complex Systems
The application of formal methods in the rigorous definition and analysis of the functionality and the behaviour of a system… (More)
Is this relevant?
1986
1986
Time-focused density-based clustering of trajectories of moving objects
Spatio-temporal, geo-referenced datasets are growing rapidly, and will be more in the near future, due to both technological and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?