2701 search results - page 104 / 541 » On the form of witness terms |
184
click to vote
AAECC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...
153
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We describe an algorithm for comparing two RNA secondary structures coded in the form of trees that introduces two new operations, called node fusion and edge fusion, besides the t...
179
click to vote
IJCV
2007
15 years 6 months ago
2007
Abstract. Using silhouettes in uncontrolled environments typically requires handling occlusions as well as changing or cluttered backgrounds, which limits the applicability of most...
163
click to vote
TCS
2008
15 years 6 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
143
click to vote
PUC
2002
15 years 6 months ago
2002
: A Swedish sample of 36 people judged the similarities of 20 objects, primarily information appliance products and services sometimes called consumer electronics, but also some co...