Sciweavers

1816 search results - page 123 / 364
» Trace oblivious computation
Sort
View
WSCG
2000
84views more  WSCG 2000»
13 years 11 months ago
Visualization of Changes in Magnetic Resonance Image Data
Computer assisted image fusion provides an easy and accurate way to interpret and compare medical image pairs. Subjective expectations of human interpretator become less important...
K. Suomi, Jarkko Oikarinen
ENTCS
2007
104views more  ENTCS 2007»
13 years 10 months ago
Algorithmic Debugging of Java Programs
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
Rafael Caballero, Christian Hermanns, Herbert Kuch...
ICST
2010
IEEE
13 years 8 months ago
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
Minh Duc Nguyen, Hélène Waeselynck, ...
CSE
2009
IEEE
14 years 5 months ago
Social Interaction History: A Framework for Supporting Exploration of Social Information Spaces
— Social interaction history refers to traces of social interaction in information spaces. These traces have potential to help users explore and navigate through information spac...
Indratmo, Julita Vassileva
DSVIS
2006
Springer
14 years 2 months ago
Analysis of Pointing Tasks on a White Board
We study the variations in two dimensional (2D) pointing tasks on a traditional white board of a group of subjects by means of capturing their movement traces in an automatic way w...
Giorgio P. Faconti, Mieke Massink