8431 search results - page 1646 / 1687 » Algorithmically Independent Sequences |
IPMI
2005
Springer
14 years 9 months ago
2005
Springer
Having accurate left ventricle (LV) segmentations across a cardiac cycle provides useful quantitative (e.g. ejection fraction) and qualitative information for diagnosis of certain ...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
SIGSOFT
2002
ACM
14 years 9 months ago
2002
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...