1477 search results - page 98 / 296 » On Graph Problems in a Semi-streaming Model |
131
click to vote
SIGMOD
2004
ACM
16 years 1 months ago
2004
ACM
Graph has become increasingly important in modelling complicated structures and schemaless data such as proteins, chemical compounds, and XML documents. Given a graph query, it is...
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
117
click to vote
CIVR
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a new approach for video clip retrieval based on Earth Mover’s Distance (EMD). Instead of imposing one-to-one matching constraint as in [11, 14], our approach...
111
click to vote
FGR
2004
IEEE
15 years 5 months ago
2004
IEEE
We present an algorithm for automatic inference of human upper body motion. A graph model is proposed for inferring human motion, and motion inference is posed as a mapping proble...
106
click to vote
CORR
2012
Springer
13 years 9 months ago
2012
Springer
The problem of finding locally dense components of a graph is an important primitive in data analysis, with wide-ranging applications from community mining to spam detection and ...