1929 search results - page 65 / 386 » An Approach to Limit the Wynot Problem |
168
click to vote
GG
2004
Springer
16 years 6 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
188
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
This study evaluates a robust parametric modeling approach for computer-aided detection (CAD) of vertebrae column metastases in whole-body MRI. Our method involves constructing a m...
198
click to vote
JCDL
2005
ACM
16 years 12 days ago
2005
ACM
Recommender systems can provide valuable services in a digital library environment, as demonstrated by its commercial success in book, movie, and music industries. One of the most...
215
click to vote
SBACPAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Single processor technology has been evolving across last decades, but due to physical limitations of chip manufacturing process, the industry is pursuing alternatives to sustain ...
141
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We consider the problem of minimizing the resources used for network coding while achieving the desired throughput in a multicast scenario. Since this problem is NPhard...