6431 search results - page 972 / 1287 » Model Building by Resolution |
148
click to vote
FIMH
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, a statistical atlas of DT-MRIs based on a population of nine ex vivo normal canine hearts is compared with a human cardiac DT-MRI and a commonly used synth...
158
Voted
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
113
click to vote
HUC
2007
Springer
15 years 10 months ago
2007
Springer
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...
149
click to vote
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
162
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...