3508 search results - page 40 / 702 » Zero-Error Information Theory |
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
This paper familiarizes the audience with the Triune Continuum Paradigm, a paradigm that provides philosophically supported theoretical foundations for system modeling in general a...
72
Voted
ICIS
1997
14 years 11 months ago
1997
This paper extends the resource-based view of the firm to a less developed country situation by challenging three boundary conditions associated with the theory: first, the theory...
AAAI
1990
14 years 11 months ago
1990
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorith...
TYPES
1999
Springer
15 years 1 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We apply the theory of random Schr