1818 search results - page 233 / 364 » Granularity-Adaptive Proof Presentation |
112
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
104
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper shows that the basic Hough transform is implicitly a Bayesian process--that it computes an unnormalized posterior distribution over the parameters of a single shape giv...
130
click to vote
IV
2009
IEEE
15 years 10 months ago
2009
IEEE
The increasing popularity of mobile devices has fostered the development of visualization applications for these devices. However, the reduced screen size and different interactio...
127
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— A control strategy inspired by the hunting tactics of ladybugs is presented to simultaneously achieve sensor coverage and exploration of an area with a group of networked robot...
112
Voted
ACISP
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. This paper presents a critical analysis of the AACS drivehost authentication scheme. A few weaknesses are identified which could lead to various attacks on the scheme. I...