9405 search results - page 1273 / 1881 » Computing a Model of Set Theory |
192
click to vote
ALT
2010
Springer
15 years 3 months ago
2010
Springer
We focus on the estimation of a probability distribution over a set of trees. We consider here the class of distributions computed by weighted automata - a strict generalization of...
245
click to vote
CVIU
2011
15 years 2 months ago
2011
The medial axis transform is valuable for shape representation as it is complete and captures part structure. However, its exact computation for arbitrary 3D models is not feasibl...
227
click to vote
COMMA
2010
15 years 2 months ago
2010
Abstract. We propose an argumentation framework for modelling jury-based dispute resolution where the dispute parties present their arguments before a judge and a jury. While the j...
327
click to vote
TOG
2012
13 years 9 months ago
2012
Global parametrization of surfaces requires singularities (cones) to keep distortion minimal. We describe a method for finding cone locations and angles and an algorithm for glob...
180
click to vote
DAC
1999
ACM
16 years 8 months ago
1999
ACM
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...