2586 search results - page 353 / 518 » Automatic Abstraction for Congruences |
137
click to vote
SAT
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G2 WSAT deterministically ...
153
click to vote
AINA
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— We developed the HAT (Home Appliance Translator) and HAT-Sub to enable conventional appliances without telecommunication capabilities to connect to home networks. The d...
157
click to vote
APCSAC
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract. Bypass delays are expected to grow beyond 1ns as technology scales. These delays necessitate pipelining of bypass paths at processor frequencies above 1GHz and thus affe...
163
click to vote
CIBCB
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract–Protein families can be used to reconstruct evolutionary histories of organisms. The accuracy of protein assignment to such families is critical for the success of such ...
190
click to vote
GLOBECOM
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— A home network is a residential local area network, in which users are networking their PCs, laptops or wireless multimedia appliances to use a single residential acces...