1805 search results - page 174 / 361 » A Theory of Closure Operators |
131
click to vote
ISDA
2005
IEEE
16 years 5 days ago
2005
IEEE
Open and distance Learning (ODL) gives learners freedom of time, place and pace of study, putting learner self-direction centre-stage. However, increased responsibility should not...
157
click to vote
TPHOL
2005
IEEE
16 years 5 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
140
click to vote
ASM
2005
ASM
16 years 4 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
170
click to vote
COLT
2005
Springer
16 years 4 days ago
2005
Springer
In recent years manifold methods have attracted a considerable amount of attention in machine learning. However most algorithms in that class may be termed “manifold-motivated...
180
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...