Sciweavers

1736 search results - page 265 / 348
» String Extension Learning
Sort
View
88
Voted
PLDI
2010
ACM
15 years 11 months ago
Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
Viktor Kuncak, Mika l Mayer, Ruzica Piskac, Philip...
109
Voted
SDM
2009
SIAM
123views Data Mining» more  SDM 2009»
15 years 10 months ago
Measuring Discrimination in Socially-Sensitive Decision Records.
Discrimination in social sense (e.g., against minorities and disadvantaged groups) is the subject of many laws worldwide, and it has been extensively studied in the social and eco...
Dino Pedreschi, Franco Turini, Salvatore Ruggieri
CVPR
2010
IEEE
15 years 10 months ago
Robust Classification of Objects, Faces, and Flowers Using Natural Image Statistics
Classification of images in many category datasets has rapidly improved in recent years. However, systems that perform well on particular datasets typically have one or more lim...
Christopher Kanan, Garrison Cottrell
CVPR
2009
IEEE
15 years 8 months ago
Automatic facial landmark labeling with minimal supervision
Landmark labeling of training images is essential for many learning tasks in computer vision, such as object detection, tracking, and alignment. Image labeling is typically conduc...
Yan Tong, Xiaoming Liu 0002, Frederick W. Wheeler,...
PERVASIVE
2009
Springer
15 years 8 months ago
Methodologies for Continuous Cellular Tower Data Analysis
This paper presents novel methodologies for the analysis of continuous cellular tower data from 215 randomly sampled subjects in a major urban city. We demonstrate the potential of...
Nathan Eagle, John A. Quinn, Aaron Clauset