5169 search results - page 181 / 1034 » Locality approximation using time |
149
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
The estimation of the time delay of arrival (TDOA) or the direction of arrival (DOA) has been an important research topic within the last few decades. In several applications, e.g...
161
Voted
ICCV
1999
IEEE
16 years 7 months ago
1999
IEEE
In this paper we address the problem of minimizing a large class of energy functions that occur in early vision. The major restriction is that the energy function's smoothnes...
184
click to vote
ENTCS
2006
15 years 5 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
149
click to vote
CSUR
1999
15 years 4 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
158
Voted
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
Widespread interest in time-series similarity search has made more in need of efficient technique, which can reduce dimensionality of the data and then to index it easily using a ...