1195 search results - page 62 / 239 » New constructions of SSPDs and their applications |
151
click to vote
DS
1992
15 years 7 months ago
1992
In the Pegasus prototype multidatabase system, the key to the problem of object identity is a differentiation between the view of a data administrator, capturing all the underlyin...
149
click to vote
NIPS
1990
15 years 7 months ago
1990
We present a new connectionist planning method TML90 . By interaction with an unknown environment, a world model is progressively constructed using gradient descent. For deriving ...
140
click to vote
APAL
2010
15 years 6 months ago
2010
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...
160
click to vote
CGF
2008
15 years 6 months ago
2008
We introduce a scheme for constructing a CatmullClark subdivision surface that interpolates the vertices of a quadrilateral mesh with arbitrary topology. The basic idea here is to...
134
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The order bound for the minimum distance of algebraic geometry codes is defined for the dual of one-point codes. A new bound for the minimum distance of linear codes, and for codes...