8917 search results - page 1411 / 1784 » Abstraction in Algorithm Animation |
143
Voted
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
Abstract—Interconnects (wires, buffers, clock distribution networks, multiplexers and busses) consume a significant fraction of total circuit power. In this work, we demonstrat...
156
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
152
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
Identifying highlights in multimedia content such as video and audio is currently a very difficult technical problem. We present and evaluate a novel algorithm that identifies hig...
158
click to vote
WWW
2010
ACM
15 years 12 months ago
2010
ACM
Today, a huge amount of text is being generated for social purposes on social networking services on the Web. Unlike traditional documents, such text is usually extremely short an...
126
click to vote
ICDE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—We introduce schema covering, the problem of identifying easily understandable common objects for describing large and complex schemas. Defining transformations between...