27827 search results - page 5199 / 5566 » Generating |
185
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
167
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we describe two differential fault attack techniques against Advanced Encryption Standard (AES). We propose two models for fault occurrence; we could find a...
225
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents three contributions to research on middleware load balancing. First, it describes the design of Cygnus, which is an extensible open-source middleware framework...
221
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
The ability to retrieve molecules based on structural similarity has use in many applications, from disease diagnosis and treatment to drug discovery and design. In this paper, we...
199
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Recent research in data mining has progressed from mining frequent itemsets to more general and structured patterns like trees and graphs. In this paper, we address the problem of...