6020 search results - page 259 / 1204 » A New Approach to Model Counting |
185
click to vote
ICWE
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Search engines are becoming such an easy way to find textual resources that we wish to use them also for multimedia content; however, syntactic techniques, even if promi...
141
click to vote
SCAM
2006
IEEE
16 years 5 days ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
176
click to vote
ICDM
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a novel approach for clustering sequences of multi-dimensional trajectory data obtained from a sensor network. The sensory time-series data present new challenges to da...
156
click to vote
CIVR
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposes a new approach for hot event detection and summarization of news videos. The approach is mainly based on two graph algorithms: optimal matching (OM) and normali...
183
click to vote
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for defining them have not been developed yet. One approach to simplify the de...