2407 search results - page 437 / 482 » A Tool for Abstraction in Model Checking |
103
click to vote
INFOCOM
2012
IEEE
13 years 5 days ago
2012
IEEE
Abstract—Although femtocell deployments in residential buildings have been increasingly prevalent, femtocell deployment in commercial building environments remains in its infancy...
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Deformable template models are valuable tools in medical image segmentation. Current methods elegantly incorporate global shape and appearance, but can not cope with loca...
RSCTC
2004
Springer
15 years 3 months 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...
DBPL
2001
Springer
15 years 2 months ago
2001
Springer
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
121
click to vote
DILS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...