Sciweavers

9477 search results - page 1569 / 1896
» Design is as Easy as Optimization
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
16 years 27 days ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
CHES
2007
Springer
136views Cryptology» more  CHES 2007»
16 years 27 days ago
CAIRN 2: An FPGA Implementation of the Sieving Step in the Number Field Sieve Method
The hardness of the integer factorization problem assures the security of some public-key cryptosystems including RSA, and the number field sieve method (NFS), the most efficient ...
Tetsuya Izu, Jun Kogure, Takeshi Shimoyama
CIKM
2007
Springer
16 years 26 days ago
Effective keyword search for valuable lcas over xml documents
In this paper, we study the problem of effective keyword search over XML documents. We begin by introducing the notion of Valuable Lowest Common Ancestor (VLCA) to accurately and ...
Guoliang Li, Jianhua Feng, Jianyong Wang, Lizhu Zh...
CIKM
2007
Springer
16 years 26 days ago
Developing learning strategies for topic-based summarization
Most up-to-date well-behaved topic-based summarization systems are built upon the extractive framework. They score the sentences based on the associated features by manually assig...
Ouyang You, Sujian Li, Wenjie Li
CIVR
2007
Springer
154views Image Analysis» more  CIVR 2007»
16 years 26 days ago
Representing shape with a spatial pyramid kernel
The objective of this paper is classifying images by the object categories they contain, for example motorbikes or dolphins. There are three areas of novelty. First, we introduce ...
Anna Bosch, Andrew Zisserman, Xavier Muñoz
« Prev « First page 1569 / 1896 Last » Next »