8838 search results - page 332 / 1768 » Generalizing Domain Theory |
173
click to vote
ESWA
2008
15 years 6 months ago
2008
Clustering is an important function in data mining. Its typical application includes the analysis of consumer's materials. Adaptive resonance theory network (ART) is very pop...
167
click to vote
JIIS
2008
15 years 6 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
188
click to vote
JITECH
2010
15 years 5 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...
165
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
282
click to vote
Publication
I. Introduction
II. Foundations
A. The Mathematical Structure of Physical Field Theories
B. Geometric Objects and Orientation
1. Space-Time Object...