5216 search results - page 927 / 1044 » Planning as Model Checking |
138
Voted
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
—The wireless mesh network (WMN) is an essential low-power solution to support ubiquitous broadband services. However, mesh networks face the power unfairness and throughput bott...
139
click to vote
BTW
2007
Springer
15 years 9 months ago
2007
Springer
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...
108
Voted
CONTEXT
2007
Springer
15 years 9 months ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
200
Voted
IWCLS
2007
Springer
15 years 9 months ago
2007
Springer
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...
122
click to vote
SCIA
2007
Springer
15 years 9 months ago
2007
Springer
Two deformable registration methods, the Demons and the Morphon algorithms, have been used for registration of CT datasets to evaluate their usability in radiotherapy planning for ...