Sciweavers

3394 search results - page 31 / 679
» A Modal Model of Memory
Sort
View
FLAIRS
2008
14 years 5 days ago
Modelling Uniformity and Control during Knowledge Acquisition
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
Bernhard Heinemann
ISBI
2007
IEEE
14 years 4 months ago
Probabilistic Segmentation of Brain Tumors Based on Multi-Modality Magnetic Resonance Images
In this paper, multi-modal Magnetic Resonance (MR) images are integrated into a tissue profile that aims at differentiating tumor components, edema and normal tissue. This is achi...
Hongmin Cai, Ragini Verma, Yangming Ou, Seung-koo ...
ENTCS
2010
125views more  ENTCS 2010»
13 years 7 months ago
Concrete Memory Models for Shape Analysis
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
Pascal Sotin, Bertrand Jeannet, Xavier Rival
CAV
2009
Springer
177views Hardware» more  CAV 2009»
14 years 10 months ago
Software Transactional Memory on Relaxed Memory Models
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
JIRS
2008
110views more  JIRS 2008»
13 years 9 months ago
A Multi-Modal Haptic Interface for Virtual Reality and Robotics
In this paper we present an innovative haptic device that combines the electro-tactile stimulation with the force and visual feedbacks in order to improve the perception of a virtu...
Michele Folgheraiter, Giuseppina C. Gini, Dario L....