306 search results - page 25 / 62 » Conversation Types |
DLT
2009
14 years 7 months ago
2009
We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tili...
JCHE
2007
14 years 9 months ago
2007
I N THIS PAPER, we suggest that self-organized learning can be supported through emergent and informal Web technologies and propose that these technologies can be used to encourag...
CONCURRENCY
1998
14 years 9 months ago
1998
We consider the problem of converting C pointers to the less flexible concept of references. Our main application is converting scientific applications from C to Java. We provid...
ENTCS
2002
14 years 9 months ago
2002
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...
IVA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Continuous and synchronized whole-body motions are essential for achieving believable autonomous virtual humans in interactive applications. We present a new motion contr...