Abstract— We perform spectral analysis of the Internet topology at the AS level, by adapting the standard spectral filtering method of examining the eigenvectors corresponding t...
Christos Gkantsidis, Milena Mihail, Ellen W. Zegur...
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
We present a method being developed to extract information about characters’ emotions in films. It is suggested that this information can help describe higher levels of multimed...
IVPrototype is an Information Visualization Prototype for the visualization of both geometrical and non-geometrical data. Our goal is to provide a generic system that automaticall...