5863 search results - page 764 / 1173 » On Model-Checking of P Systems |
171
click to vote
TOMS
2011
15 years 1 months ago
2011
Abstract. We present a partitioned algorithm for reducing a symmetric matrix to a tridiagonal form, with partial pivoting. That is, the algorithm computes a factorization P AP T = ...
223
click to vote
VLDB
2011
ACM
15 years 1 months ago
2011
ACM
Uncertain data is inherent in a few important applications such as environmental surveillance and mobile object tracking. Top-k queries (also known as ranking queries) are often n...
205
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
Given a set of objects and a query q, a point p is
called the reverse k nearest neighbor (RkNN) of q if q is one of
the k closest objects of p. In this paper, we introduce the c...
219
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
As user demands become increasingly sophisticated, search engines today are competing in more than just returning document results from the Web. One area of competition is providi...
152
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Catadioptric cameras are a popular type of omnidirectional imaging system. Their imaging and multi-view geometry has been extensively studied; epipolar geometry for instance, is ge...