3353 search results - page 194 / 671 » Laver and set theory |
173
click to vote
ICCE
2007
15 years 8 months ago
2007
: Recently, instructional videos are widely being used in educational settings. Many researches have proposed the construction of video-based learning environments that reflect Cog...
179
click to vote
NIPS
2000
15 years 7 months ago
2000
We use graphical models to explore the question of how people learn simple causal relationships from data. The two leading psychological theories can both be seen as estimating th...
169
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
155
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, we investigate the possibilities offered by the extension of the connected component trees (cc-trees) to multivariate images. We propose a general framework for ima...
159
click to vote
NJC
2006
15 years 6 months ago
2006
We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove tha...