190 search results - page 17 / 38 » Uniquely undefinable elements |
79
Voted
ICCAD
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification witho...
ISSAC
1994
Springer
15 years 1 months ago
1994
Springer
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
90
Voted
DASFAA
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract. We have defined an XML structural index called the Structure Index Tree (SIT), which eliminates duplicate structures arising from the equivalent subtrees in an XML docume...
79
Voted
FCT
2007
Springer
15 years 1 months ago
2007
Springer
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called `productive' if it can be evaluated ...
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
The preservation and representation of folklore collections is a basic priority for every country because they are valuable for studying the customs and the tradition of specific ...