9405 search results - page 1378 / 1881 » Computing a Model of Set Theory |
180
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
154
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
150
click to vote
ACL
2006
15 years 8 months ago
2006
We present a novel classifier-based deterministic parser for Chinese constituency parsing. Our parser computes parse trees from bottom up in one pass, and uses classifiers to make...
170
click to vote
SDM
2003
SIAM
15 years 8 months ago
2003
SIAM
We present two extensions of the algorithm by Broomhead et al [2] which is based on the idea that singular values that scale linearly with the radius of the data ball can be explo...
184
click to vote
BMVC
1998
15 years 8 months ago
1998
A novel technique for multi-scale smoothing of a free-form 3-D surface is presented. Complete triangulated models of 3-D objects are constructed (through fusion of range images) a...