7988 search results - page 101 / 1598 » A Useful Undecidable Theory |
IPL
2006
13 years 10 months ago
2006
Knuth-Bendix completions of the equational theories of k 2 commuting group endomorphisms are obtained, using automated theorem proving and modern termination checking. This impro...
ICIP
1994
IEEE
14 years 11 months ago
1994
IEEE
Mapping the location of brain activity is a new and exciting application of magnetic resonance imaging (MRI). This application area has already seen the use of a variety of magnet...
WACV
2005
IEEE
14 years 3 months ago
2005
IEEE
— In this work, we present a formalization of the video synchronization problem that exposes new variants of the problem that have been left unexplored to date. We also present a...
ESORICS
2004
Springer
14 years 3 months ago
2004
Springer
d Abstract) James Aspnes , Joan Feigenbaum , Aleksandr Yampolskiy † , and Sheng Zhong ‡ Department of Computer Science, Yale University, New Haven CT 06520-8285, USA Abstract. ...
ELP
1991
14 years 1 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...