1730 search results - page 192 / 346 » Algebra and Computation |
144
click to vote
COLCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Risk-based access control raises some novel problems that have not yet been investigated. In particular, the ability to aggregate uncertain risk estimations from different experts...
267
click to vote
ACMMPC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...
117
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
135
click to vote
ECCV
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. This paper presents viewpoint-dependent constraints that relate image features such as t-junctions and inflections to the pose of curved 3D objects. These constraints can...
135
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least...