6431 search results - page 178 / 1287 » Model Building by Resolution |
156
click to vote
IWNAS
2008
IEEE
16 years 25 days ago
2008
IEEE
To maintain consistency, designers of replicated services have traditionally been forced to choose from either strong consistency guarantees or none at all. Realizing that a conti...
178
click to vote
ECML
2007
Springer
16 years 18 days ago
2007
Springer
Boosting is a simple yet powerful modeling technique that is used in many machine learning and data mining related applications. In this paper, we propose a novel scale-space based...
166
click to vote
CVIU
2004
15 years 6 months ago
2004
In this paper we address the problem of matching two images with two different resolutions: a high-resolution image and a low-resolution one. The difference in resolution between ...
144
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF TAC, a HOL tactic that ...
168
click to vote
ACL
1994
15 years 7 months ago
1994
We describe an implementation in Carpenter's typed feature formalism, ALE, of a discourse grammar of the kind proposed by Scha, Polanyi, et al. We examine their method for re...