2805 search results - page 316 / 561 » Modeling Memory for Melodies |
182
click to vote
TVLSI
2008
15 years 6 months ago
2008
Applications in computer networks often require high throughput access to large data structures for lookup and classification. While advanced algorithms exist to speed these search...
246
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Handling intra-personal variation is a major challenge in face recognition. It is difficult how to appropriately measure the similarity between human faces under significantly di...
204
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
— This paper presents a robust quadratic placement approach, which offers both high-quality placements and excellent computational efficiency. The additional force which distrib...
155
click to vote
TASE
2007
IEEE
16 years 28 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
174
click to vote
SPAA
2006
ACM
16 years 18 days ago
2006
ACM
In response to current technology scaling trends, architects are developing a new style of processor, known as spatial computers. A spatial computer is composed of hundreds or eve...