3972 search results - page 476 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
161
click to vote
JLP
2006
15 years 7 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
184
click to vote
NIPS
2008
15 years 8 months ago
2008
Many machine learning algorithms can be formulated in the framework of statistical independence such as the Hilbert Schmidt Independence Criterion. In this paper, we extend this c...
218
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
185
click to vote
ICML
1995
IEEE
16 years 8 months ago
1995
IEEE
In the single rent-to-buy decision problem, without a priori knowledge of the amount of time a resource will be used we need to decide when to buy the resource, given that we can ...
221
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...