4609 search results - page 224 / 922 » Automatic Generation of Sigma-Protocols |
162
click to vote
ICLP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
161
click to vote
LTCONF
2007
Springer
16 years 20 days ago
2007
Springer
The paper reports on a series of experiments conducted in order to test the feasibility of automatically generating synsets for Slovene wordnet. The resources used were the multil...
169
click to vote
SOFSEM
2007
Springer
16 years 19 days ago
2007
Springer
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. T...
155
click to vote
ICMCS
2006
IEEE
16 years 17 days ago
2006
IEEE
Video composition is important for music video production. In this paper we propose an automatic method to assist the music sports video composition operation. Our approach is bas...
205
click to vote
ICIAP
2003
ACM
15 years 11 months ago
2003
ACM
We propose a methodology for reconstructing large– scale architectural scenes from low–altitude aerial images, in an efficient, accurate and fully automatic way. Towards this...