20294 search results - page 449 / 4059 » Algorithmic Information Theory |
235
click to vote
LICS
2007
IEEE
16 years 2 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
195
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
Our research seeks to understand how to extend established organization theory and emerging knowledgeflow theory to inform the design of organizations with discontinuous participa...
161
click to vote
AAAI
1993
15 years 9 months ago
1993
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...
206
click to vote
JITECH
2010
15 years 6 months ago
2010
This paper employs the network perspective to study patterns and structures of intraorganizational learning networks. The theoretical background draws from cognitive theories, the...
192
click to vote
LATIN
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we consider the open problem of the complexity of the LLL algorithm in the case when the approximation parameter of the algorithm has its extreme value