6045 search results - page 873 / 1209 » Computable Linearizations of Well-partial-orderings |
162
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
190
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
∗∗ Functional BIST is a promising solution for self-testing complex digital systems at reduced costs in terms of area and performance degradation. The present paper addresses t...
163
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper introduces a family of ¢ ¢ tensors, referred to as “join tensors” or Jtensors for short, which perform “3D to 3D” alignment between coordinate systems of sets...
183
click to vote
ASSETS
2000
ACM
15 years 11 months ago
2000
ACM
Voice controlled web browsers allow users to navigate by speaking the text of a link or an associated number instead of clicking with a mouse. One such browser is Conversa, by Con...
142
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes an intelligent interface to assist in the expert perceptual task of sound equalization. This is commonly done by a sound engineer in a recording studio, live ...