1981 search results - page 122 / 397 » Model-Checking Hierarchical Structures |
IJRR
2000
14 years 9 months ago
2000
This paper prescribes an incremental procedure to construct roadmaps of unknown environments. Recall that a roadmap is a geometric structure that a robot uses to plan a path betwe...
ACL
2010
14 years 8 months ago
2010
Automatic opinion recognition involves a number of related tasks, such as identifying the boundaries of opinion expression, determining their polarity, and determining their inten...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
This paper concerns the management of energy in data centers using a cyber-physical model that supports the coordinated control of both computational and thermal (cooling) resource...
ICML
2007
IEEE
15 years 10 months ago
2007
IEEE
The four-level pachinko allocation model (PAM) (Li & McCallum, 2006) represents correlations among topics using a DAG structure. It does not, however, represent a nested hiera...
ISBI
2004
IEEE
15 years 10 months ago
2004
IEEE
Automatic segmentation of multiple sclerosis lesions in magnetic resonance images remains a challenging task. In this study, we present a fully automatic method to extract lesions...