1005 search results - page 30 / 201 » Patterns for Refinement Automation |
COMBINATORICS
2006
13 years 7 months ago
2006
We present an algorithm for finding a system of recurrence relations for the number of permutations of length n that satisfy a certain set of conditions. A rewriting of these rela...
FAC
2010
13 years 4 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
CVPR
2007
IEEE
2007
IEEE
Discriminative Cluster Refinement: Improving Object Category Recognition Given Limited Training Data
14 years 9 months ago
A popular approach to problems in image classification is to represent the image as a bag of visual words and then employ a classifier to categorize the image. Unfortunately, a si...
TIT
2008
13 years 7 months ago
2008
Abstract--We investigate two closely related successive refinement (SR) coding problems: 1) In the hypothesis testing (HT) problem, bivariate hypothesis H0 : PXY against H1 : PXPY ...
UKCBR
1995
13 years 11 months ago
1995
In the near future, a potentially huge number of telecommunication services will be available to the public. Information about these services will be sto...