Sciweavers

2266 search results - page 262 / 454
» Some Solutions to the Ignoring Problem
Sort
View
ICFP
2005
ACM
16 years 6 months ago
Qualified types for MLF
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
Andres Löh, Daan Leijen
IDTRUST
2010
ACM
16 years 1 months ago
Practical and secure trust anchor management and usage
Public Key Infrastructure (PKI) security depends upon secure management and usage of trust anchors. Unfortunately, widely used mechanisms, management models and usage practices re...
Carl Wallace, Geoff Beier
ICIAP
2009
ACM
16 years 1 months ago
Dense Two-Frame Stereo Correspondence by Self-organizing Neural Network
This work aims at defining an extension of a competitive method for matching correspondences in stereoscopic image analysis. The method we extended was proposed by Venkatesh, Y.V....
Marco Vanetti, Ignazio Gallo, Elisabetta Binaghi
DATE
2009
IEEE
143views Hardware» more  DATE 2009»
16 years 1 months ago
Time and memory tradeoffs in the implementation of AUTOSAR components
—The adoption of AUTOSAR in the development of automotive electronics can increase the portability and reuse of functional components. Inside each component, the behavior is repr...
Alberto Ferrari, Marco Di Natale, Giacomo Gentile,...
ICDAR
2009
IEEE
16 years 1 months ago
Combination of Measurement-Level Classifiers: Output Normalization by Dynamic Time Warping
Classifier combination is a powerful strategy to support useful solutions in difficult classification problems. Notwithstanding, the effectiveness of a multi-classifier system str...
Giuseppe Pirlo, Donato Impedovo, Claudia Adamita T...