13784 search results - page 2107 / 2757 » On Computing Functions with Uncertainty |
181
click to vote
RTA
1991
Springer
15 years 11 months ago
1991
Springer
A term rewriting system is called complete if it is both confluent and strongly norrealizing. Barendregt and Klop showed that the disjoint union of complete term rewriting systems...
172
click to vote
SIGGRAPH
1991
ACM
15 years 11 months ago
1991
ACM
The finite element method is applied to generate primitives that build continuous deformable shapes designed to support a new free-form modeling paradigm. The primitives autonomou...
211
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Detecting contour closure, i.e., finding a cycle of disconnected contour fragments that separates an object from its background, is an important problem in perceptual gro...
171
click to vote
CMSB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Elevated temperatures cause proteins in living cells to misfold. They start forming larger and larger aggregates that can eventually lead to the cell's death. The he...
214
click to vote
AINA
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract--The steadily growing importance of Internetbased applications and their resilience requirements lead to a rising number of multi-homed sites. The idea of Concurrent Multi...