Sciweavers

2441 search results - page 269 / 489
» Integrated Medical Analysis System
Sort
View
KBSE
2009
IEEE
16 years 29 days ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
IV
2009
IEEE
141views Visualization» more  IV 2009»
16 years 26 days ago
Connecting Genes with Diseases
We present a visual data mining application using the combination of clinical data, pathways and biomolecular data. Using pathways to navigate and filter the clinical and molecula...
Heimo Müller, Robert Reihs, Stefan Sauer 0002...
KESAMSTA
2007
Springer
16 years 11 days ago
Mobile Collaboration Framework for u-Healthcare Agent Services and Its Application Using PDAs
In this paper, we suggested a mobile collaboration framework based on distributed object group framework (DOGF). This paper focuses on the use of this framework to support mobile c...
Chang-Won Jeong, Dong-Ho Kim, Su-Chong Joo
KES
2004
Springer
15 years 11 months ago
Chance Discovery with Emergence of Future Scenarios
A "chance" is an event or a situation significant for making a decision in a complex environment. Since we organized a session of Chance Discovery in KES 2000, the basic...
Yukio Ohsawa
VLDB
1998
ACM
134views Database» more  VLDB 1998»
15 years 10 months ago
Design, Implementation, and Performance of the LHAM Log-Structured History Data Access Method
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
Peter Muth, Patrick E. O'Neil, Achim Pick, Gerhard...