3690 search results - page 198 / 738 » Computation with classical sequents |
126
Voted
ACL
2012
13 years 3 months ago
2012
We present a novel approach to the automatic acquisition of a Verbnet like classification of French verbs which involves the use (i) of a neural clustering method which associate...
APSCC
2008
IEEE
15 years 7 months ago
2008
IEEE
Cloud computing is an emerging computing paradigm. It aims to share data, calculations, and services transparently among users of a massive grid. Although the industry has started...
130
click to vote
AC
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In 1982, Bennett and Brassard suggested a new way to provide privacy in long distance communications with security based on the correctness of the basic principles of qua...
124
click to vote
ICCV
2005
IEEE
16 years 2 months ago
2005
IEEE
We introduce a framework for computing statistically optimal estimates of geometric reconstruction problems. While traditional algorithms often suffer from either local minima or ...
106
click to vote
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
We propose a dynamic texture feature-based algorithm for registering two video sequences of a rigid or nonrigid scene taken from two synchronous or asynchronous cameras. We model e...