9370 search results - page 1696 / 1874 » An Abstract Notion of Application |
216
click to vote
PAMI
2012
13 years 8 months ago
2012
Abstract—We propose a robust fitting framework, called Adaptive Kernel-Scale Weighted Hypotheses (AKSWH), to segment multiplestructure data even in the presence of a large number...
174
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
159
click to vote
TVCG
2012
13 years 8 months ago
2012
Abstract—We have developed an intuitive method to semi-automatically explore volumetric data in a focus-region-guided or valuedriven way using a user defined ray through the 3D ...
205
click to vote
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
217
click to vote
ICSE
2012
IEEE-ACM
13 years 8 months ago
2012
IEEE-ACM
Abstract—Customizable programs and program families provide user-selectable features to allow users to tailor a program to an application scenario. Knowing in advance which featu...