714 search results - page 42 / 143 » An efficient algorithm for positive realizations |
INFOCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
— Multihoming is a popular method used by large enterprises and stub ISPs to connect to the Internet to reduce cost and improve performance. Recently researchers have studied the...
122
click to vote
CAV
2004
Springer
15 years 3 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
107
click to vote
BROADNETS
2006
IEEE
15 years 3 months ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
170
click to vote
VLSISP
2011
14 years 6 months ago
2011
Machine-learning algorithms are employed in a wide variety of applications to extract useful information from data sets, and many are known to suffer from superlinear increases in ...