8706 search results - page 1149 / 1742 » Learning Subjective Language |
228
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
205
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
178
click to vote
DOCENG
2006
ACM
16 years 1 months ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
183
click to vote
HT
2006
ACM
16 years 1 months ago
2006
ACM
Metadata attempts to describe the content, format, purpose and structure of data. Over the past few years, the IEEE-LOM standard has dominated the metadata world in e-learning app...
191
click to vote
ITICSE
2006
ACM
16 years 1 months ago
2006
ACM
Current literature states that the undergraduate curriculum can no longer afford the luxury of a traditional compiler construction course. Nevertheless, there is an increasing ne...