6020 search results - page 477 / 1204 » A New Approach to Model Counting |
225
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Much recent research in human activity recognition has focused on the problem of recognizing simple repetitive (walking, running, waving) and punctual actions (sitting up...
228
click to vote
JMLR
2008
15 years 7 months ago
2008
The linear model with sparsity-favouring prior on the coefficients has important applications in many different domains. In machine learning, most methods to date search for maxim...
196
click to vote
TKDE
2002
15 years 6 months ago
2002
In this paper, we have developed a HiTi (Hierarchical MulTi) graph model for structuring large topographical road maps to the minimum cost route computation. The HiTi graph model p...
179
Voted
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
We propose a new methodology for fusing temporally changing multisensor raster and vector data by developing a spatially and temporally varying uncertainty model of acquired and t...
205
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...