5550 search results - page 22 / 1110 » Different Approaches to Proof Systems |
ISMIS
1993
Springer
15 years 2 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
INTERACT
2007
14 years 11 months ago
2007
In many systems such as PDAs, users access data through a limited viewport. This means that users have to frequently navigate to regions that are off-screen to view important conte...
VIS
2006
IEEE
15 years 11 months ago
2006
IEEE
With the explosive growth of proteomic and expression data of homologous genes, it becomes necessary to explore new methods to visualize and analyze related gene expression data t...
ESOP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
124
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
The variations of pose lead to significant performance
decline in face recognition systems, which is a bottleneck
in face recognition. A key problem is how to measure the
simila...