11722 search results - page 2031 / 2345 » How Developers Develop Features |
236
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Simply choosing one model out of a large set of possibilities for a given vision task is a surprisingly difficult problem, especially if there is limited evaluation data with whi...
212
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We describe a novel max-margin parameter learning approach for structured prediction problems under certain non-decomposable performance measures. Structured prediction is a commo...
152
click to vote
TVCG
2012
13 years 9 months ago
2012
—Field design has wide applications in graphics and visualization. One of the main challenges in field design has been how to provide users with both intuitive control over the d...
185
Voted
TVCG
2012
13 years 9 months ago
2012
— Euler diagrams are often used to visualize intersecting data sets in applications such as criminology; genetics, medicine and computer file systems. One interesting aspect of t...
204
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...