1247 search results - page 130 / 250 » A Generalization of Jumps and Labels |
STOC
2005
ACM
14 years 11 months ago
2005
ACM
We present a deterministic, log-space algorithm that solves st-connectivity in undirected graphs. The previous bound on the space complexity of undirected st-connectivity was log4...
CHI
2010
ACM
14 years 5 months ago
2010
ACM
In this paper we present a novel interaction metaphor for handheld projectors we label MotionBeam. We detail a number of interaction techniques that utilize the physical movement ...
AINA
2009
IEEE
14 years 5 months ago
2009
IEEE
We consider the problem of content extraction from online news webpages. To explore to what extent the syntactic markup and the visual structure of a webpage facilitate the extrac...
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
CAIP
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The estimation of human age from face images is an interesting problem in computer vision. We proposed a general distance metric learning scheme for regression problems, ...