8828 search results - page 1559 / 1766 » Formal methods in practice |
144
click to vote
IEICET
2010
15 years 3 months ago
2010
Density ratio estimation has gathered a great deal of attention recently since it can be used for various data processing tasks. In this paper, we consider three methods of densit...
135
click to vote
IJCAT
2010
15 years 3 months ago
2010
—Breast cancer is one of the most prevalent forms of cancer in the world today. The search for effective treatment and screening methods is a highly active area of research. The ...
144
click to vote
IJHCI
2010
15 years 3 months ago
2010
The term usability is ubiquitous in human-computer interaction, so much so that it is commonly used without definition. Rather than one established meaning of usability, there are,...
164
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
—Despite much research on the throughput of relaying networks under idealized interference models, many practical wireless networks rely on physical-layer protocols that preclude...
149
Voted
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—This paper identifies the possibility of using electronic compasses and accelerometers in mobile phones, as a simple and scalable method of localization without war-dri...