1717 search results - page 289 / 344 » A Computable Spectral Theorem |
89
Voted
PERCOM
2009
ACM
15 years 7 months ago
2009
ACM
—One of the major issues in a wireless sensor network (WSN) is how to cover an interested area. In this paper, we consider the area coverage problem for variable sensing radii WS...
110
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We address covariance estimation under mean-squared loss in the Gaussian setting. Specifically, we consider shrinkage methods which are suitable for high dimensional problems wit...
105
click to vote
ERSHOV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
Classical sampling records the signal level at pre-determined time instances, usually uniformly spaced. An alternative implicit sampling model is to record the timing of pre-deter...