8874 search results - page 243 / 1775 » A New Implementation of Automath |
151
click to vote
CRYPTO
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we describe versatile and powerful algorithms for searching guess-and-determine and meet-in-the-middle attacks on byte-oriented symmetric primitives. To demonstrate ...
176
click to vote
EMNLP
2011
14 years 4 months ago
2011
In this paper, we propose a novel approach to automatic generation of aspect-oriented summaries from multiple documents. We first develop an event-aspect LDA model to cluster sen...
444
click to vote
ICA
2012
Springer
14 years 7 days ago
2012
Springer
We consider an extension of ICA and BSS for separating mutually dependent and independent components from two related data sets. We propose a new method which first uses canonical...
158
click to vote
SAC
2012
ACM
14 years 6 days ago
2012
ACM
Data cloning method is a new computational tool for computing maximum likelihood estimates in complex statistical models such as mixed models. This method is synthesized with inte...
206
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Locally Orderless Tracking (LOT) is a visual tracking algorithm that automatically estimates the amount of local (dis)order in the object. This lets the tracker specialize in both...