219 search results - page 13 / 44 » The Mathematics of Boundaries: A Beginning |
AML
2011
12 years 11 months ago
2011
We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree prope...
SIGGRAPH
1995
ACM
13 years 11 months ago
1995
ACM
We present a new, interactive tool called Intelligent Scissors which we use for image segmentation and composition. Fully automated segmentation is an unsolved problem, while manu...
HUC
2007
Springer
14 years 1 months ago
2007
Springer
Despite a growing desire to create smart homes, we know little about how networked technologies interact with a house’s infrastructure. In this paper, we begin to close this gap ...
CC
2003
Springer
14 years 22 days ago
2003
Springer
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...
ACL
2003
13 years 9 months ago
2003
Phrase level translation models are effective in improving translation quality by addressing the problem of local re-ordering across language boundaries. Methods that attempt to f...