1592 search results - page 130 / 319 » On the Equality of Probabilistic Terms |
194
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
160
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
184
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
165
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Previous studies in speculative prefetching focus on building and evaluating access models for the purpose of access prediction. This paper investigates a complementary area which...
184
click to vote
CGI
1997
IEEE
15 years 10 months ago
1997
IEEE
Electro-magnetic tracking systems are in wide-spread use for measuring 6D positions. However, their accuracy is impaired seriously by distortions of the magnetic fields caused by...