Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Technical Reports - DIT-02-094
A channel assignment and handoff strategy for mobile multimedia cellular communication systems with variable bandwidth support
2002, Note: This work has been submitted to the IEEE Transcations on Wireless Communications.
Keywords: Cellular Mobile Systems, Channel Allocation, Handoff, Variable Bandwidth Support

Abstract: We propose an efficient channel allocation and handoff strategy to guarantee continuous services ... See more
Technical Reports - DIT-02-100
Impaccando T-tagli e T-giunti
2002, Note: Apparso sul bollettino Sezione B dell'Unione Matematica Italiana, Fascicolo speciale dedicato alle tesi di dottorato (8) 1-A Suppl. (1998) 201-204.
Keywords: Teoria dei grafi, ottimizzazione combinatorica, colorazione di archi, fattorizzazione di grafi, accoppiamenti, algoritmi, ricerca operativa

Abstract: Questa breve nota in lingua italiana e` l'occhiello alla mia tesi di dottorato. Un elenco dei ris... See more
Technical Reports - DIT-02-099
Packing Triangles in Bounded Degree Graphs
2002, Note: Inf. Proc. Lett. 84(2002) 175-180
Keywords: Packing triangles, polynomial algorithm, APX-hardness, planar graphs, NP-hardness

Abstract: We consider the two problems of finding the maximum number of node disjoint triangles and edge di... See more
Technical Reports - DIT-02-038
Finding 1-factors in bipartite regular graphs, and edge-coloring bipartite graphs
2002, Note: Published in SIAM Journal on Discrete Mathematics
Keywords: time-tabling, edge-coloring, perfect matching, regular bipartite graphs

Abstract: This paper gives a new and faster algorithm to find a 1-factor in a bipartite D-regular graph. Th... See more
Technical Reports - DIT-02-058
Complexity of Context-free Grammars with Exceptions, and the inadequacy of grammars as models for XML and SGML
2002, Note: Published in: "Markup Languages: Theory and Practice" 3 (1) 2001.
Keywords: exceptions, context-free grammars, computational complexity, exponential blow-up, XML, SGML.

Abstract: The Standard Generalized Markup Language (SGML) and the Extensible Markup Language (XML) allow au... See more
Technical Reports - DIT-02-034
Adaptive Model Selection for Digital Linear Classifiers
2002, Note: To be published in Proceedings International Conference on Artificial Neural Networks 2002
Keywords: Digital Electronics, Neural Networks, Learning Theory

Abstract: Adaptive model selection can be defined as the process thanks to which an optimal classifiers h* ... See more
Technical Reports - DIT-02-063
Thick 2D Relations for Document Understanding
2002, Note: Submitted to: Information Sciences, Elsevier
Keywords: document image analysis, document understanding, spatial reasoning, bidimensional Allen relations, constraint satisfaction: applications

Abstract: We use a propositional language of qualitative rectangle relations to detect the reading order fr... See more
Technical Reports - DIT-02-044
Bounded Model Checking for Timed Systems
2002, Note: In Proc. 22nd Joint International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2002). Houston, TX, USA, November 2002. LNCS © Springer Verlag. To appear.
Keywords: formal verification, timed systems, model checking, SAT

Abstract: Enormous progress has been achieved in the last decade in the verification of timed systems, maki... See more
Technical Reports - DIT-02-017
Language-Based Performance Prediction for Distributed and Mobile Systems
2002, Note: To appear in Information and Computation
Keywords: Operational semantics, Proved transition system, Stochastic process algebra, General distributions, Performance Prediction

Abstract: We present a framework for performance prediction of distributed and mobile systems. We rely on p... See more
Technical Reports - DIT-02-032
The Digital Kernel Perceptron
2002, Note: To be published in Electronics Letters Vol. 38 No. 10 pp. 445 446, 2002
Keywords: Digital Electronics, Neural Networks, Learning Theory

Abstract: In this paper, we show that a kernel-based perceptron can be efficiently implemented in digital h... See more