6020 search results - page 872 / 1204 » A New Approach to Model Counting |
161
click to vote
TREC
2004
15 years 8 months ago
2004
Our system for the Novelty Track at TREC 2004 looks beyond sentence boundaries as well as within sentences to identify novel, nonduplicative passages. It tries to identify text sp...
158
click to vote
NIPS
2003
15 years 8 months ago
2003
Existing source location and recovery algorithms used in magnetoencephalographic imaging generally assume that the source activity at different brain locations is independent or t...
208
click to vote
SNPD
2003
15 years 8 months ago
2003
This paper deals with the problem of estimating multiple motions at points where these motions are overlaid. We present a new approach that is based on block matching and can deal...
189
click to vote
WISES
2003
15 years 8 months ago
2003
Abstract — Control systems are often software-intensive applications that are becoming extremely complex as new functionality is required. Complexity is a real engineering challe...
196
click to vote
IC
2000
15 years 8 months ago
2000
Abstract Virtual Campus is an Internet application in education. It combines the advantages of both group and individual learning approaches based on advanced network technologies....