Sciweavers

2143 search results - page 111 / 429
» corr 2010
Sort
View
84
Voted
CORR
2010
Springer
85views Education» more  CORR 2010»
14 years 7 months ago
Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent
Attack
Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Pat...
48
Voted
CORR
2010
Springer
85views Education» more  CORR 2010»
15 years 26 days ago
A Unified Algebraic Framework for Fuzzy Image Compression and Mathematical Morphology
Abstract. In this paper we will show how certain techniques of image processing, having different scopes, can be joined together under a common "algebraic roof".
Ciro Russo
CORR
2010
Springer
85views Education» more  CORR 2010»
15 years 25 days ago
The Lambek-Grishin calculus is NP-complete
The Lambek-Grishin calculus LG is the symmetric extension of the non-associative Lambek calculus NL. In this paper we prove that the derivability problem for LG is NP-complete.
Jeroen Bransen
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 25 days ago
A Dense Hierarchy of Sublinear Time Approximation Schemes for Bin Packing
The bin packing problem is to find the minimum number of bins of size one to pack a list of items with sizes a1,
Richard Beigel, Bin Fu
78
Voted
CORR
2010
Springer
154views Education» more  CORR 2010»
14 years 10 months ago
Shaping Level Sets with Submodular Functions
We consider a class of sparsity-inducing regularization terms based on submodular functions. While earlier work has focused on non-decreasing functions, we explore symmetric submo...
Francis Bach