12981 search results - page 2052 / 2597 » Model Checking (Abstract) |
188
click to vote
RSCTC
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Acute abdominal pain in childhood is a common but diagnostically challenging problem facing Emergency Department personnel. Experienced physicians use a combination of ke...
185
click to vote
WABI
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Contact maps are a model to capture the core information in the structure of biological molecules, e.g., proteins. A contact map consists of an ordered set ¡ of elements...
196
click to vote
ECCV
2010
Springer
16 years 24 days ago
2010
Springer
Abstract. We address the problem of having insufficient labels in an interactive image segmentation framework, for which most current methods would fail without further user inter...
174
click to vote
ECCV
2010
Springer
16 years 24 days ago
2010
Springer
Abstract. We address the problem of detecting human figures in images, taking into account that the image of the human figure may be taken from a range of viewpoints. We capture ...
185
click to vote
WER
2004
Springer
16 years 23 days ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...