2780 search results - page 219 / 556 » Generalizing by Removing Detail |
174
click to vote
DATE
2006
IEEE
16 years 18 days ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...
173
click to vote
ISCC
2006
IEEE
16 years 16 days ago
2006
IEEE
Currently, the OFDMA transmission scheme seems to be a promising candidate for future broadband radio systems. The crucial part which determines the performance is thereby the com...
198
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
199
click to vote
ACL2
2006
ACM
16 years 15 days 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...
152
click to vote
HRI
2006
ACM
16 years 15 days ago
2006
ACM
This paper describes an effort to identify common metrics for task-oriented human-robot interaction (HRI). We begin by discussing the need for a toolkit of HRI metrics. We then de...