4767 search results - page 213 / 954 » Structures for Abstract Rewriting |
145
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We describe the structure of a compilation system that generates code for processor architectures supporting both explicit and implicit parallel threads. Such architectur...
151
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Integration of magnetic resonance (MR) and positron emission tomography (PET) images of the heart has proved its usefulness for the estimation of the myocardial viability...
160
click to vote
APN
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
156
click to vote
CDB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
193
click to vote
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Individual privacy will be at risk if a published data set is not properly de-identified. k-anonymity is a major technique to de-identify a data set. A more general view ...