Sciweavers

17789 search results - page 350 / 3558
» Exceptional Use Cases
Sort
View
IWFM
1998
117views Formal Methods» more  IWFM 1998»
15 years 8 months ago
A Case Study on Proving Transformations Correct: Data-Parallel Conversion
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
Stephen Kilpatrick, Maurice Clint, Peter Kilpatric...
SODA
1998
ACM
159views Algorithms» more  SODA 1998»
15 years 8 months ago
Average-Case Analyses of First Fit and Random Fit Bin Packing
We prove that the First Fit bin packing algorithm is stable under the input distribution U{k - 2, k} for all k 3, settling an open question from the recent survey by Coffman, Gar...
Susanne Albers, Michael Mitzenmacher
SODA
1998
ACM
114views Algorithms» more  SODA 1998»
15 years 8 months ago
Exact Arithmetic at Low Cost - A Case Study in Linear Programming
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
Bernd Gärtner
DIMVA
2009
15 years 7 months ago
A Case Study on Asprox Infection Dynamics
Abstract. The Asprox infection weaves a complex chain of dependencies involving bots that perform SQL injections on vulnerable web servers, and visitors whose machines get compromi...
Youngsang Shin, Steven A. Myers, Minaxi Gupta
ICML
2010
IEEE
15 years 7 months ago
Graded Multilabel Classification: The Ordinal Case
We propose a generalization of multilabel classification that we refer to as graded multilabel classification. The key idea is that, instead of requesting a yes-no answer to the q...
Weiwei Cheng, Krzysztof Dembczynski, Eyke Hül...