714 search results - page 80 / 143 » An efficient algorithm for positive realizations |
113
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
A new algorithm is proposed for novel view generation in one-toone teleconferencing applications. Given the video streams acquired by two cameras placed on either side of a comput...
MOC
2000
14 years 11 months ago
2000
Recently Laurie presented a new algorithm for the computation of (2n+1)-point Gauss-Kronrod quadrature rules with real nodes and positive weights. This algorithm first determines a...
116
click to vote
STOC
2007
ACM
16 years 4 days ago
2007
ACM
One of the main reasons of the recent success of peer to peer (P2P) file sharing systems such as BitTorrent is its built-in tit-for-tat mechanism. In this paper, we model the band...
116
click to vote
COMAD
2008
15 years 1 months ago
2008
Answering aggregate queries like sum, count, min, max over regions containing moving objects is often needed for virtual world applications, real-time monitoring systems, etc. Sin...