3190 search results - page 40 / 638 » cans 2011 |
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be...
124
Voted
ASPDAC
2011
ACM
14 years 4 months ago
2011
ACM
— Code coverage is a popular method to find design bugs and verification loopholes. However, once a piece of code is determined to be unreachable, diagnosing the cause of the p...
100
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The prediction step is a very important part of hybrid video codecs for effectively compressing video sequences. While existing video codecs predict either in temporal or in spati...
74
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper studies conditions under which a signal can be reconstructed from partial frequency content. We focus on signals in shiftinvariant spaces generated by multiple generato...
81
Voted
EWC
2011
14 years 7 months ago
2011
This paper outlines continuing work on the intelligent design catalogue. The intelligent design catalogue seeks to create a virtual design environment that is linked to a catalogu...