2292 search results - page 251 / 459 » Structure preserving embedding |
131
click to vote
TABLEAUX
1995
Springer
15 years 8 months ago
1995
Springer
We present a procedure transforming intuitionistic matrix proofs into proofs within the intuitionistic standard sequent calculus. The transformation is based on L. Wallen’s proof...
123
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
—In this paper, we address the use of unified spatial relations for symbol description. We present a topologically guided directional relation signature. It references a unique ...
148
click to vote
APLAS
2008
ACM
15 years 7 months ago
2008
ACM
Active objects offer a structured approach to concurrency, encapsulating both unshared state and a thread of control. For efficient data transfer, data should be passed by referenc...
128
Voted
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Layer decomposition from a single image is an underconstrained problem, because there are more unknowns than equations. This paper studies a slightly easier but very useful altern...
162
click to vote
RIVF
2007
15 years 6 months ago
2007
— The amount of data stored in data warehouses grows very quickly so that they can get saturated. To overcome this problem, we propose a language for specifying forgetting functi...