4609 search results - page 20 / 922 » Automatic Generation of Sigma-Protocols |
145
click to vote
ICALT
2010
IEEE
15 years 5 months ago
2010
IEEE
In this study I use statistical Natural Language Processing and adapted Controlled Language methods to preprocess individual documents before they are used as source documents for ...
146
click to vote
TKDE
2002
15 years 4 months ago
2002
The generation of a set of rules underlying a classification problem is performed by applying a new algorithm, called Hamming Clustering (HC). It reconstructs the and-or expressio...
140
click to vote
VR
2010
IEEE
15 years 2 months ago
2010
IEEE
Nowadays, applications of virtual reality (VR) and computer games use human characters models with ever-increasing sophistication. Additional challenges are posed by applications,...
131
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
ly correct bijection between higher-order abstract syntax (HOAS) and the natural numbers enables one to define a "not equals" relationship between terms and also to have ...
144
click to vote
ACL
2010
15 years 2 months ago
2010
This paper presents a novel approach to automatic captioning of geo-tagged images by summarizing multiple webdocuments that contain information related to an image's location...