1051 search results - page 19 / 211 » On the Correspondence between Approximations and Similarity |
165
click to vote
CBMS
2003
IEEE
15 years 9 months ago
2003
IEEE
This article addresses visualization of deformation or shape differences between bones while conventional visualization techniques are often about a single bone such as its 3D rec...
167
click to vote
MEMOCODE
2007
IEEE
16 years 11 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
145
click to vote
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
177
click to vote
CAISE
1993
Springer
15 years 10 months ago
1993
Springer
We present our approach to defining similarity between software artifacts and discuss its potential exploitation in software reuse by analogy. We first establish properties of si...
151
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...