1981 search results - page 122 / 397 » Model-Checking Hierarchical Structures |
114
click to vote
IJRR
2000
15 years 2 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...
108
Voted
ACL
2010
15 years 18 days 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...
129
Voted
CDC
2010
IEEE
14 years 9 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...
111
click to vote
ICML
2007
IEEE
16 years 3 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...
117
click to vote
ISBI
2004
IEEE
16 years 3 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...