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-035
SVM Performance Assessment for the Control of Injection Moulding Processes and Plasticating Extrusion
2002, Note: Accepted by International Journal of Systems Science
Keywords: Neural Networks, Learning Theory, Identification, Control Systems

Abstract: This paper presents the application of a new and promising learning algorithm based on kernel met... See more
Technical Reports - DIT-02-001
Adaptive Anisotropic Filtering (AAF) for Real-Time Visual Enhancement of Mpeg-Coded Video Sequences
2002

Abstract: Current standards for video compression achieve good performances in terms of data compaction and... See more
Technical Reports - DIT-02-003
Low-Complexity Context-Based Motion Compensation for VLBR Video Encoding
2002
Keywords: Video coding, Motion estimation

Abstract: A significant improvement of block-based motion estimation strategies is presented, which provide... See more
Technical Reports - DIT-02-004
Spectral Classified Vector Quantization (SCVQ) for Multispectral Images
2002
Keywords: Multispectral image compression, Vector Quantization, Classification

Abstract: Multi- and hyper-spectral data pose severe problems in terms of storage capacity and transmission... See more
Technical Reports - DIT-02-002
A Contrast-Based Approach to the Identification of Texture Faults
2002
Keywords: Texture analysis, max-min, contrast, visual inspection, defect detection

Abstract: Texture analysis based on the extraction of contrast features is very effective in terms of both ... See more
Technical Reports - DIT-02-083
Location-aware computing: a neural network model for determining location in wireless LANs
2002
Keywords: Location- and context-aware computing, wireless LANs, IEEE802.11b, neural networks, machine learning.

Abstract: The strengths of the RF signals arriving from more access points in a wireless LANs are related t... See more
Technical Reports - DIT-02-059
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective
2002

Abstract: Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in comp... See more
Technical Reports - DIT-02-060
Designinig Coordination among Human and Software Agents
2002

Abstract: The goal of this paper is to propose a new methodology for designing coordination between human a... See more
Technical Reports - DIT-02-061
The Tropos Modeling Language. A User Guide
2002
Keywords: ingegneria del software, sistemi multi-agente

Abstract: Tropos e` una nuova metodologia basata sul paradigma dei sistemi multi-agente che supporta il pro... See more
Technical Reports - DIT-02-102
An Access Control System for Business Processes for Web Services
2002
Keywords: Web services, interactive access control, e-business, security management, distributed systems security, controlled disclosure

Abstract: Web Services and Business Processes for Web Services are the new paradigms for the lightweight in... See more