3477 search results - page 166 / 696 » From Tables to Frames |
MICCAI
2001
Springer
14 years 1 months ago
2001
Springer
Image registration is the process of establishing a common geometric reference frame between two or more data sets from the same or different imaging modalities possibly taken at ...
AUSAI
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
FLOPS
2006
Springer
14 years 27 days ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
ENTCS
2007
13 years 9 months ago
2007
This paper establishes undecidability of satisfiability for multi-modal logic equipped with the hybrid binder ↓ , with respect to frame classes over which the same language wit...
ETT
2000
13 years 9 months ago
2000
: This paper is concerned with a randomized OFDM (R-OFDM) scheme. The basic principle is to apply a scrambling operation to several OFDM frames. With a proper design strategy, the ...