946 search results - page 106 / 190 » Process Algebra and Non-Interference |
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
Abstract This paper describes the overall design and architecture of the Timber XML database system currently being implemented at the University of Michigan. The system is based u...
JLP
2007
13 years 8 months ago
2007
The behavioral equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is th...
ENTCS
2000
13 years 8 months ago
2000
It is an open problem whether weak bisimilarity is decidable for Basic Process Algebra (BPA) and Basic Parallel Processes (BPP). A PSPACE lower bound for BPA and NP lower bound fo...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
We derive a new, two-dimensional nonseparable signal transform for computing the spectrum of spatial signals residing on a finite quincunx lattice. The derivation uses the connect...
3DIM
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we address the problem of hand-eye calibration of a robot mounted video camera. In a rst time, we derive a new linear formulation of the problem. This allows an alg...