2441 search results - page 181 / 489 » Integrated Medical Analysis System |
131
click to vote
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...
148
Voted
MM
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we describe a new application for multimedia indexing, using a system that monitors the instrumental activities of daily living to assess the cognitive decline caus...
128
Voted
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Image segmentation is essential for many automated microscopy image analysis systems. Rather than treating microscopy images as general natural images and rushing into th...
141
click to vote
TACAS
1999
Springer
15 years 9 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
129
Voted
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...