8600 search results - page 1519 / 1720 » Measuring with Timed Patterns |
206
Voted
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
215
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Familiar evaluation methodologies for information retrieval (IR) are not well suited to the task of comparing systems in many real settings. These systems and evaluation methods m...
198
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
A fast simulatedannealingalgorithmis developed for automatic object recognition. The object recognition problem is addressed as the problem of best describing a match between a hy...
209
Voted
ICSM
1995
IEEE
15 years 10 months ago
1995
IEEE
Organizations spend significant resources tracking customer satisfaction and managing service delivery. Although a great deal of effort is expended in understanding what goes on w...
218
Voted
AFRICACRYPT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...