Sciweavers

2441 search results - page 213 / 489
» Integrated Medical Analysis System
Sort
View
ICCS
2000
Springer
15 years 8 months ago
Conceptual Knowledge Discovery and Data Analysis
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...
Joachim Hereth Correia, Gerd Stumme, Rudolf Wille,...
149
Voted
CACM
2010
113views more  CACM 2010»
15 years 5 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken
ECRTS
2002
IEEE
15 years 10 months ago
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
Raimund Kirner, Roland Lang, Gerald Freiberger, Pe...
BIB
2010
89views more  BIB 2010»
15 years 4 months ago
Knowledge-based data analysis comes of age
The emergence of high-throughput technologies for measuring biological systems has introduced problems for data interpretation that must be addressed for proper inference. First, ...
Michael F. Ochs
132
Voted
APN
1993
Springer
15 years 9 months ago
Transient Analysis of Deterministic and Stochastic Petri Nets
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...
Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trived...