1585 search results - page 184 / 317 » A framework for computer-aided validation |
388
click to vote
ICCV
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a new variational framework for computing continuous curve skeletons from discrete objects that are suitable for structural shape representation. We have...
121
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
131
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...
131
click to vote
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Prior algorithms known for exactly solving Max 2-Sat improve upon the trivial upper bound only for very sparse instances. We present new algorithms for exactly solving (in fact, c...
115
click to vote
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
We introduce and validate bootstrap techniques to compute confidence intervals that quantify the effect of test-collection variability on average precision (AP) and mean average...