7289 search results - page 387 / 1458 » A Dependent Set Theory |
189
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
217
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
194
click to vote
ETS
2000
IEEE
15 years 6 months ago
2000
IEEE
What is the nature of instructional design? Is instructional design merely the practical application of learning theories to learning situations? What elements form the building b...
188
click to vote
AIS
1999
Springer
15 years 6 months ago
1999
Springer
The Internet and other interactive networks are diffusing across the globe at rates that vary from country to country. Typically, economic and market structure variables are used t...
216
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
The detection of correlations between different features in a set of feature vectors is a very important data mining task because correlation indicates a dependency between the fe...