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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
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
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
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
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
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
1. MOTIVATIONS In today’s information society the demand for Digital Libraries is changing. The implementation of nowadays… (More)
Is this relevant?
2006
2006
— 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
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
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
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?