9 search results - page 2 / 2 » forte 2001 |
FORTE
2001
13 years 6 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
FORTE
2001
13 years 6 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
BMVC
2001
13 years 8 months ago
2001
In this paper an information theoretic approach is provided for resolving border ambiguity under partial occlusion. The proposed framework allows structural interpretation of imag...
STACS
2001
Springer
13 years 10 months ago
2001
Springer
We study effectively given positive reals (more specifically, computably enumerable reals) under a measure of relative randomness introduced by Solovay [32] and studied by Calud...