4609 search results - page 364 / 922 » Automatic Generation of Sigma-Protocols |
162
click to vote
PLDI
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
159
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automatic document summarization has become increasingly important due to the quantity of written material generated worldwide. Generating good quality summaries enables ...
218
click to vote
MIE
2008
15 years 8 months ago
2008
Several medical natural language processing (NLP) systems currently base on ontologies that provide the domain knowledge. But, relationships between concepts defined in ontologies ...
164
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Smoothly bent paper-like surfaces are developable. They are however difficult to minimally parameterize since the number of meaningful parameters is intrinsically dependent on the...
191
click to vote
SMA
2009
ACM
16 years 1 months ago
2009
ACM
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...