5964 search results - page 416 / 1193 » A theory of speculative computation |
171
click to vote
MSCS
2007
15 years 7 months ago
2007
A discussion concerning the opposition between discretness and continuum in quantum mechanics is presented. In particular this duality is shown to be present not only in the early...
201
click to vote
3DPH
2009
15 years 5 months ago
2009
We describe an algorithm for segmenting three-dimensional medical imaging data modeled as a continuous function on a 3-manifold. It is related to watershed algorithms developed in ...
209
click to vote
STTT
2010
15 years 2 months ago
2010
ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f
363
click to vote
COMPGEOM
2011
ACM
14 years 11 months ago
2011
ACM
Starting with a similarity function between objects, it is possible to define a distance metric (the kernel distance) on pairs of objects, and more generally on probability distr...
274
click to vote
LPNMR
2011
Springer
14 years 10 months ago
2011
Springer
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...