1302 search results - page 74 / 261 » Fair Equivalence Relations |
130
click to vote
ICRA
2008
IEEE
15 years 12 months ago
2008
IEEE
— This paper relates 5 observability indexes for robot calibration to the “alphabet optimalities” from the experimental design literature. These 5 observability indexes are s...
131
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
120
click to vote
MFCS
1993
Springer
15 years 9 months ago
1993
Springer
Abstract This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models...
148
click to vote
PROCOMET
1998
15 years 6 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
137
Voted
JSC
2011
15 years 15 days ago
2011
Homotopy continuation provides a numerical tool for computing the equivalence of a smooth variety in an intersection product. Intersection theory provides a theoretical tool for re...