4609 search results - page 18 / 922 » Automatic Generation of Sigma-Protocols |
113
click to vote
RAS
2008
15 years 4 months ago
2008
This paper presents the Compliant Task Generator: a new approach for the automatic conversion of a geometric path generated by a compliant path planner to a force based task specif...
134
click to vote
KDD
2010
ACM
15 years 3 months ago
2010
ACM
Malware categorization is an important problem in malware analysis and has attracted a lot of attention of computer security researchers and anti-malware industry recently. Todayâ...
146
click to vote
JFP
2000
15 years 4 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
146
click to vote
BMVC
2010
15 years 2 months ago
2010
Given a video and associated text, we propose an automatic annotation scheme in which we employ a latent topic model to generate topic distributions from weighted text and then mo...
141
click to vote
CONSTRAINTS
1998
15 years 4 months ago
1998
Graphs are widely used for information visualization purposes, since they provide a natural and intuitive tation of complex abstract structures. The automatic generation of drawing...