8828 search results - page 1401 / 1766 » Formal methods in practice |
198
click to vote
TMI
2008
15 years 6 months ago
2008
With continuing improvements in spatial resolution of positron emission tomography (PET) scanners, small patient movements during PET imaging become a significant source of resolut...
184
click to vote
TOCS
2008
15 years 6 months ago
2008
RaWMS is a novel lightweight random membership service for ad hoc networks. The service provides each node with a partial uniformly chosen view of network nodes. Such a membership...
202
click to vote
TPDS
2008
15 years 6 months ago
2008
It has been discussed in the literature that the mobility of a mobile sensor network (MSN) can be used to improve its sensing coverage. How the mobility can efficiently be managed ...
164
click to vote
TPDS
2008
15 years 6 months ago
2008
High Performance Computing data centers have been rapidly growing, both in number and size. Thermal management of data centers can address dominant problems associated with cooling...
181
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Feature selection, as a preprocessing step to machine learning, has been very effective in reducing dimensionality, removing irrelevant data, increasing learning accuracy, and imp...