1416 search results - page 39 / 284 » An Exact Interpretation of While |
108
click to vote
LFCS
1994
Springer
15 years 4 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
95
Voted
DEXA
1995
Springer
15 years 4 months ago
1995
Springer
- In order to accomplish independence on the logical data organization, a relational DBMS must be capable of interpreting query language sentences which reference attributes belong...
112
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
We give a graph theoretical criterion on multiplicative additive linear logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hypercliqu...
90
Voted
EUSFLAT
2007
15 years 2 months ago
2007
The paper brings a discussion about the source of the inaccuracy in observations of objects and demonstrates that the essential reason of the lack of precision is changeability, a...
101
Voted
NIPS
2000
15 years 2 months ago
2000
A central issue in principal component analysis (PCA) is choosing the number of principal components to be retained. By interpreting PCA as density estimation, this paper shows ho...