1116 search results - page 217 / 224 » Applying Predicate Abstraction to Abstract State Machines |
101
click to vote
ECCV
2006
Springer
16 years 28 days ago
2006
Springer
Abstract. We cast the problem of motion segmentation of feature trajectories as linear manifold finding problems and propose a general framework for motion segmentation under affin...
189
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
Abstract. In this paper we present new concurrent and recoverable B-link-tree algorithms. Unlike previous algorithms, ours maintain the balance of the B-link tree at all times, so ...
ICWS
2009
IEEE
15 years 8 months ago
2009
IEEE
ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...
113
click to vote
ICASSP
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract — Regularized block diagonalization (RBD) is a new linear precoding technique for the multi-antenna broadcast channel and has a significantly improved sum rate and dive...
ICC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract —Previous work demonstrated that the improvements in spectral efficiency and link reliability can be obtained in wireless relay networks employing terminals with MIMO c...