5863 search results - page 859 / 1173 » On Model-Checking of P Systems |
318
click to vote
AFRIGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
Image registration forms the basis of many computer vision tasks. The Lucas-Kanade image registration algorithm is known to efficiently solve the sub-problem of rigid image regis...
180
Voted
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
This paper extends the conceptsof the distributed linear hashedmain memory file system with the objective of supportinghigher level parallel dambaseoperations. The basicdistribute...
150
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
171
click to vote
ANTS
2006
Springer
15 years 10 months ago
2006
Springer
We provide a modular method for computing the splitting field Kf of an integral polynomial f by suitable use of the byproduct of computation of its Galois group Gf by p-adic Staudu...
157
Voted
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a novel approach to motion synthesis. It is shown that by splitting sequences into segments new sequences can be created with a similar look and feel to the original. C...