Sciweavers

3701 search results - page 305 / 741
» Anatomical Information Science
Sort
View
SPIN
2000
Springer
15 years 11 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
GI
2009
Springer
15 years 10 months ago
Improving Usability of Integrated Emergency Response Systems: The SoKNOS Approach
: Implementing systems for emergency response poses various challenges. Information from various sources and systems needs to be integrated, processed, aggregated, and visualized i...
Heiko Paulheim, Sebastian Döweling, Karen H. ...
ACMSE
2005
ACM
15 years 9 months ago
An algorithm for baseline correction of MALDI mass spectra
Visualization and differentiation of proteins in tissue are problems of increasing interest in computational systems biology, bioinformatics, and image processing. A platform for ...
Betsy Williams, Shannon Cornett, Benoit M. Dawant,...
CSCW
2006
ACM
15 years 9 months ago
CVS integration with notification and chat: lightweight software team collaboration
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...
Geraldine Fitzpatrick, Paul Marshall, Anthony Phil...
CAINE
2008
15 years 8 months ago
A Graphics-User Interface in Support of a Cognitive Inference Architecture
- The objective of this paper is to present a graphical-user-interface (GUI) in support of a decision support system (KASER) for machine understanding. In order to provide informat...
Isai Michel Lombera, Jayeshkumar Patel, Stuart Har...