7773 search results - page 112 / 1555 » On generalized Frame-Stewart numbers |
157
click to vote
TACAS
2009
Springer
16 years 19 days ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
156
click to vote
DEXA
2004
Springer
15 years 11 months ago
2004
Springer
Two important constraints of association rule mining algorithm are support and confidence. However, such constraints-based algorithms generally produce a large number of redundant ...
149
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Four statistical visual feature indexes are proposed: SLM (Shot Length Mean), the average length of each shot in a video; SLD (Shot Length Deviation), the standard deviation of sh...
150
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
This paper addresses the following questions for a given tree T and integer d 2: (1) What is the minimum number of degree-d subtrees that partition E(T)? (2) What is the minimum n...
147
Voted
SODA
2010
ACM
16 years 3 months ago
2010
ACM
We consider the problem of testing whether the maximum additive integrality gap of a family of integer programs in standard form is bounded by a given constant. This can be viewed...