662 search results - page 122 / 133 » Classified Stable Matching |
117
click to vote
JACM
2007
15 years 7 days ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
100
click to vote
TRANSCI
1998
15 years 36 min ago
1998
This paper explores some of the traffic phenomena that arise when drivers have to navigate a network in which queues back up past diverge intersections. If a diverge provides two ...
81
Voted
PUC
2007
14 years 12 months ago
2007
Design for the digital home is often predicated on an ideal, imagined domestic space that is expansive, stable, occupied by a ‘‘busy’’ nuclear family, and does not always m...
110
click to vote
ICCV
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper revisits the classical problem of detecting interest points, popularly known as "corners," in 2D images by proposing a technique based on fitting algebraic sh...
135
click to vote
CORR
2012
Springer
13 years 8 months ago
2012
Springer
We address the problem of learning the parameters in graphical models when inference is intractable. A common strategy in this case is to replace the partition function with its B...