Sciweavers

1605 search results - page 235 / 321
» Automatic Set Instance Extraction using the Web
Sort
View
ICAIL
2009
ACM
14 years 2 months ago
Integrating induction and deduction for finding evidence of discrimination
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
Dino Pedreschi, Salvatore Ruggieri, Franco Turini
ATVA
2009
Springer
125views Hardware» more  ATVA 2009»
14 years 2 months ago
Automated Analysis of Data-Dependent Programs with Dynamic Memory
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederbe...
FUZZIEEE
2007
IEEE
14 years 2 months ago
A Feature Selection Method Based on Choquet Integral and Typicality Analysis
— An iterative feature selection method based on feature typicality and interactivity analysis is presented in this paper. The aim is to enhance model interpretability by selecti...
Cyril Mazaud, Jan Rendek, Vincent Bombardier, Laur...
GW
2007
Springer
135views Biometrics» more  GW 2007»
14 years 2 months ago
Person-Independent 3D Sign Language Recognition
In this paper, we present a person independent 3D system for judging the correctness of a sign. The system is camera-based, using computer vision techniques to track the hand and e...
Jeroen Lichtenauer, Gineke A. ten Holt, Marcel J. ...
CVPR
2006
IEEE
13 years 9 months ago
3-D Shape Reconstruction of Retinal Fundus
We present a method for 3-D shape reconstruction of retinal fundus from fluorescein images. Our method extracts the location of vessels' bifurcation as a reliable feature for...
Tae Eun Choe, Isaac Cohen, Gérard G. Medion...