4303 search results - page 35 / 861 » Are We There Yet |
100
click to vote
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
100
click to vote
RSA
2011
14 years 7 months ago
2011
: We describe a simple and yet surprisingly powerful probabilistic technique which shows how to find in a dense graph a large subset of vertices in which all (or almost all) small...
101
Voted
CHES
1999
Springer
15 years 5 months ago
1999
Springer
Cryptographic algorithms are more efficiently implemented in custom hardware than in software running on general-purpose processors. However, systems which use hardware implementat...
115
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Without textual descriptions or label information of images, searching semantic concepts in image databases is still a very challenging task. While automatic annotation techniques...
82
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Applications that provide location-based experiences are an increasingly viable design space given the proliferation of GPS-enabled mobile devices. However, these applications are...