717 search results - page 113 / 144 » Knowledge-based data analysis and interpretation |
ISBI
2004
IEEE
15 years 10 months ago
2004
IEEE
The interpretation of the EM tomography of microtubules is challenging due to the low SNR and low contrast of the volume data. Therefore, image enhancement is crucial for the subs...
107
click to vote
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
VMCAI
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entit...
SIGCSE
2006
ACM
15 years 3 months ago
2006
ACM
New accreditation requirements focus on education as a “continuous improvement process.” The most important part of such a process is that information gets fed back into the s...
HUC
2004
Springer
15 years 3 months ago
2004
Springer
We present a study of people’s use of positional information as part of a collaborative location-based game. The game exploits self-reported positioning in which mobile players m...