10819 search results - page 418 / 2164 » Addition and multiplication of sets |
196
click to vote
TCS
2011
15 years 1 months ago
2011
We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a...
180
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
A RANSAC based procedure is described for detecting inliers corresponding to multiple models in a given set of data points. The algorithm we present in this paper (called multiRAN...
161
Voted
WINE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this work, we consider singleton congestion games as a special class of (weighted) congestion games where each players' strategy consists only of a single resourc...
188
click to vote
EUROPAR
2005
Springer
16 years 11 days ago
2005
Springer
Sophisticated parallel matrix multiplication algorithms like PDGEMM exhibit a complex structure and can be controlled by a large set of parameters including blocking factors and bl...
171
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
This paper investigates the potential for automatic mapping of typical embedded applications to architectures with multimedia instruction set extensions. For this purpose a (patter...