8828 search results - page 1484 / 1766 » Formal methods in practice |
167
click to vote
ICCAD
2005
IEEE
16 years 11 days ago
2005
IEEE
Thermal simulations are important for advanced electronic systems at multiple length scales. A major challenge involves electrothermal phenomena within nanoscale transistors, whic...
180
click to vote
ICDM
2005
IEEE
16 years 11 days ago
2005
IEEE
Collaborative filtering-based recommender systems, which automatically predict preferred products of a user using known preferences of other users, have become extremely popular ...
164
click to vote
ISCAS
2005
IEEE
16 years 10 days ago
2005
IEEE
Due to the powerful error correcting performance, turbo codes have been adopted in many wireless communication standards. Although several low-power techniques have been proposed,...
169
click to vote
MM
2005
ACM
16 years 9 days ago
2005
ACM
Nowadays, images have become widely available on the World Wide Web (WWW). It’s essential to develop effective ways for managing and retrieving such abundant images. Advantageou...
181
click to vote
SIGMOD
2005
ACM
16 years 9 days ago
2005
ACM
Decision makers of companies often face the dilemma of whether to release data for knowledge discovery, vis a vis the risk of disclosing proprietary or sensitive information. Whil...