13277 search results - page 2587 / 2656 » An Approach to Clustering Abstracts |
90
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
163
click to vote
BICOB
2010
Springer
15 years 5 months ago
2010
Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...
97
Voted
EUROCRYPT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
124
click to vote
ICA3PP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Cloud computing providers have setup several data centers at different geographical locations over the Internet in order to optimally serve needs of their customers aroun...
80
Voted
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Thousands of users are streamlining their Web interactions through user scripts using special weavers such as Greasemonkey. Thousands of programmers are releasing their scripts in ...