3166 search results - page 221 / 634 » Translation By Structural Correspondences |
189
click to vote
FSE
2004
Springer
16 years 18 days ago
2004
Springer
Recent research shows that the class of Rotation Symmetric Boolean Functions (RSBFs), i.e., the class of Boolean functions that are invariant under circular translation of indices,...
206
click to vote
MEMOCODE
2003
IEEE
16 years 15 days ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
173
click to vote
ESOP
2003
Springer
16 years 13 days ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
192
click to vote
ICPR
2002
IEEE
16 years 5 days ago
2002
IEEE
The proposed shape descriptor is based on the beams originated from a boundary point, which are defined as lines connecting that point with the rest of the points on the boundary....
202
click to vote
COSIT
1999
Springer
15 years 11 months ago
1999
Springer
Traditionally, depictions and descriptions have been seen as complementary; depictions have been preferred to convey iconic or metaphorically iconic information whereas description...