4609 search results - page 507 / 922 » Automatic Generation of Sigma-Protocols |
181
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
We report on the CLEF 2006 WebCLEF track devoted to crosslingual web retrieval. We provide details about the retrieval tasks, the used topic set, and the results of WebCLEF partic...
198
click to vote
CSREAESA
2008
15 years 8 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...
205
click to vote
TSE
2008
15 years 6 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
179
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
In Proc. of IEEE Conf. on CVPR'03, Madison, Wisconsin, 2003 We propose a generative model approach to contour tracking against non-stationary clutter and to coping with occlu...
142
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper addresses the problem of image-based surface reconstruction. The main contribution is the computation of the exact derivative of the reprojection error functional. This...