4609 search results - page 807 / 922 » Automatic Generation of Sigma-Protocols |
176
click to vote
AAAI
1990
15 years 7 months ago
1990
This paper presents an efficient and homogeneous paradigm for automatic acquisition and recognition of nonparametric shapes. Acquisition time varies from linear to cubic in the nu...
149
click to vote
VMV
2007
15 years 7 months ago
2007
In this paper we present concepts for integrating glyphs into volumetric data sets. These concepts have been developed with the goal to make glyphbased visualization of multimodal...
141
click to vote
AIPS
2009
15 years 7 months ago
2009
Recently, Helmert and Geffner proposed the context-enhanced additive heuristic, where fact costs are evaluated relative to context states that arise from achieving first a pivot c...
164
click to vote
AVI
2008
15 years 7 months ago
2008
Programming assignments are easy to plagiarize in such a way as to foil casual reading by graders. Graders can resort to automatic plagiarism detection systems, which can generate...
173
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...