3972 search results - page 409 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
167
click to vote
LISP
2008
15 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
176
Voted
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
131
click to vote
JCSS
2006
15 years 6 months ago
2006
Accurate network modeling is critical to the design of network protocols. Traditional modeling approaches, such as Discrete Time Markov Chains (DTMC) are limited in their ability ...
230
click to vote
PODS
1997
ACM
15 years 10 months ago
1997
ACM
In this paper, we present a new cost model for nearest neighbor search in high-dimensional data space. We first analyze different nearest neighbor algorithms, present a generaliza...
131
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
Inspired by the abilities of the praying mantis to judge distance to its prey before the strike by use of motionbased visually mediated odometry, we create miniature model for dep...