469 search results - page 9 / 94 » Putting curry-howard to work |
GCC
2003
Springer
14 years 21 days ago
2003
Springer
Guided by the cooperation theory, this paper puts forward an interactive and cooperative learning environment design that is based on the self-learning mode and cooperative learnin...
SJIS
2002
13 years 7 months ago
2002
This paper explores the relevance of recent feminist reconstructions of objectivity for the development of alternative practices of technology production and use. I take as my sta...
IFIP
1998
Springer
13 years 11 months ago
1998
Springer
BUILD-IT is an up-and-running system putting at work highly intuitive, videobased interaction technology to support complex planning and configuration tasks. It makes state-of-the...
LACL
1998
Springer
13 years 11 months ago
1998
Springer
In this paper, we try to put a bridge in between Categorial Grammar and Minimalist Grammars as they result from works which follow the Chomskyan enterprise (cf Stabler ([9]), Corne...
WOA
2010
13 years 5 months ago
2010
This paper presents an experimental evaluation of the methodology documentation template proposed by the IEEE FIPA Design Process Documentation and Fragmentation working group [1]....