1028 search results - page 59 / 206 » Reliability Analysis using Graphical Duration Models |
154
Voted
ISBI
2002
IEEE
16 years 3 months ago
2002
IEEE
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...
127
click to vote
GRAPHITE
2007
ACM
15 years 6 months ago
2007
ACM
This paper describes an interactive method for generating a model of a scene from image data. The method uses the camera parameters and point cloud typically generated by structur...
113
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
112
click to vote
BPM
2007
Springer
15 years 8 months ago
2007
Springer
Control flow elements are important in process models. Such elements usually appear in graphic models as splits and joins of activity sequences. Workflow patterns reflect possible ...
110
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...