4609 search results - page 129 / 922 » Automatic Generation of Sigma-Protocols |
202
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
197
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
With the proliferation of online distribution methods for videos, content owners require easier and more effective methods for monetization through advertising. Matching advertis...
186
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
Travel route planning is an important step for a tourist to prepare his/her trip. As a common scenario, a tourist usually asks the following questions when he/she is planning his/...
206
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Discovering the correct dataset efficiently is critical for computations and effective simulations in scientific experiments. In contrast to searching web documents over the Intern...
196
click to vote
TMI
2010
15 years 1 months ago
2010
We propose a nonparametric, probabilistic model for the automatic segmentation of medical images, given a training set of images and corresponding label maps. The resulting inferen...