3394 search results - page 18 / 679 » A Modal Model of Memory |
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
We use a strong form of the tree model property to boost the performance of resolution-based ļ¬rst-order theorem provers on the so-called relational translations of modal formulas...
USENIX
1990
13 years 11 months ago
1990
This paper describes a new model for constructing distributed systems called the Remote Memory Model. The remote memory model consists of several client machines, one or more dedi...
ISPASS
2010
IEEE
14 years 2 months ago
2010
IEEE
The identification of the memory gap in terms of the relatively slow memory accesses put a focus on cache
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
We propose a semi-supervised model which segments and annotates images using very few labeled images and a large unaligned text corpus to relate image regions to text labels. Give...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...