18716 search results - page 3533 / 3744 » Automatic |
156
Voted
ECAI
2004
Springer
15 years 8 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...
139
click to vote
CHES
2006
Springer
15 years 8 months ago
2006
Springer
Side-channel attacks are a serious threat to implementations of cryptographic algorithms. Secret information is recovered based on power consumption, electromagnetic emanations or ...
183
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
The PC Desktop is a very rich repository of personal information, efficiently capturing user's interests. In this paper we propose a new approach towards an automatic persona...
142
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
To cope with the large amount of biological sequences being produced, a significant number of genes and proteins have been annotated by automated tools. A protein annotation is an...
269
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...