2286 search results - page 43 / 458 » Algorithms for Categorical Equivalence |
129
click to vote
DAC
2007
ACM
15 years 5 months ago
2007
ACM
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
149
click to vote
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
SAS
2004
Springer
15 years 7 months ago
2004
Springer
We describe a polynomial-time algorithm for global value numbering, which is the problem of discovering equivalences among program sub-expressions. We treat all conditionals as non...
130
click to vote
IJCNN
2000
IEEE
15 years 6 months ago
2000
IEEE
We propose to solve a text categorization task using a new metric between documents, based on a priori semantic knowledge about words. This metric can be incorporated into the def...
152
click to vote
AIRS
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a cluster-based text categorization system which uses class distributional clustering of words. We propose a new clustering model which considers the global in...