208 search results - page 40 / 42 » Realization using the model existence theorem |
143
Voted
ECCV
2002
Springer
16 years 2 months ago
2002
Springer
In this paper, we present a stochastic algorithm by effective Markov chain Monte Carlo (MCMC) for segmenting and reconstructing 3D scenes. The objective is to segment a range image...
118
Voted
JODL
2000
15 years 5 hour ago
2000
We propose an electronic marketplace architecture, called MOPPET, where the commerce processes in the marketplace are modeled as adaptable agent-based workflows. The higher level ...
144
click to vote
CSDA
2011
14 years 7 months ago
2011
Estimating an overall density function from repeated observations on each of a sample of independent subjects or experimental units is of interest. An example is provided by biodem...
105
Voted
EON
2008
15 years 1 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
98
Voted
CHI
2006
ACM
16 years 18 days ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...