2909 search results - page 23 / 582 » Consistency of the theory of contexts |
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...
112
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper is devoted to the subspace DoA estimation using a large antennas array when the number of available snapshots is of the same order of magnitude than the number of senso...
116
click to vote
CONTEXT
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
124
click to vote
ICARIS
2003
Springer
15 years 7 months ago
2003
Springer
Within immunology, new theories are constantly being proposed that challenge current ways of thinking. These include new theories regarding how the immune system responds to pathog...
80
Voted
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...