1313 search results - page 102 / 263 » Generic Universe Types |
165
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper examines the learning behavior of online students in an asynchronous learning environment. We employ the theoretical lens of an online community of inquiry, to understa...
129
click to vote
FATES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
145
click to vote
GOSLER
1995
15 years 8 months ago
1995
In designing learning algorithms it seems quite reasonable to construct them in such a way that all data the algorithm already has obtained are correctly and completely reflected...
134
click to vote
JSYML
2008
15 years 4 months ago
2008
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formu...
155
click to vote
ENTCS
2007
15 years 4 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...