450 search results - page 49 / 90 » Algorithmic uses of the Feferman-Vaught Theorem |
CTRSA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Fault Analysis is a powerful cryptanalytic technique that enables to break cryptographic implementations embedded in portable devices more efficiently than any other tech...
JACM
2006
13 years 8 months ago
2006
In this article, we study the problem of online market clearing where there is one commodity in the market being bought and sold by multiple buyers and sellers whose bids arrive an...
ICML
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper presents a theoretical framework for ranking, and demonstrates how to perform generalization analysis of listwise ranking algorithms using the framework. Many learning-...
PDCN
2004
13 years 10 months ago
2004
A novel combination of emergent algorithmic methods, powerful computational platforms and supporting infrastructure is described. These complementary tools and technologies are us...
GRAPHITE
2004
ACM
14 years 2 months ago
2004
ACM
Ruled surface design and its applications are widely used in CAGD (Computer Aid Geometric Design) and industrial areas. In this paper, the cone is a particular ruled surface, whic...