1948 search results - page 185 / 390 » Formalizing Mirror Theory |
151
click to vote
MSS
2008
IEEE
15 years 6 months ago
2008
IEEE
The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a t...
150
click to vote
JSYML
2007
15 years 6 months ago
2007
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of ...
132
click to vote
JUCS
2010
15 years 5 months ago
2010
: This paper presents a qualitative shape description scheme which has been defined in order to have a formal theory to allow the construction of new shapes from a set of given sha...
133
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
Van der Sandt's algorithm for handling presupposition is based on a "presupposition as anaphora" paradigm and is expressed in the realm of Kamp's DRT. In recen...
178
click to vote
IGARSS
2010
15 years 3 months ago
2010
This paper considers sampling and reconstruction theory with application to scatterometer image reconstruction. Backscatter imaging is approached as the inversion of a noisy apert...