469 search results - page 7 / 94 » Putting curry-howard to work |
CICLING
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper describes our work in integrating three different lexical resources: FrameNet, VerbNet, and WordNet, into a unified, richer knowledge-base, to the end of ena...
ESWS
2010
Springer
14 years 9 days ago
2010
Springer
A single datum or a set of a categorical data has little value on its own. Combinations of disparate sets of data increase the value of those data sets and helps to discover intere...
WETICE
1999
IEEE
13 years 11 months ago
1999
IEEE
In order to design useful knowledge media spaces to knowledge workers it is essential that we understand the nature of the work conducted and the knowledge applied in real setting...
APCCM
2004
13 years 9 months ago
2004
A person working with diverse information sources--with possibly different formats and information models--may recognize and wish to express conceptual structures that are not exp...
ITICSE
2005
ACM
14 years 1 months ago
2005
ACM
In contrast to the student teams used for larger and longer group projects, in-class groups are often ephemeral, lasting for only a few minutes or until the end of the period. Bec...