469 search results - page 56 / 94 » Putting curry-howard to work |
HCI
2007
13 years 9 months ago
2007
In this paper, we investigate how to use future interaction technologies to enhance learning technologies. We examine in detail how tracking the mouse pointer and observing the use...
HCI
2007
13 years 9 months ago
2007
Information Architecture (IA) has emerged as a discipline that is concerned with the development of systematic approaches to the presentation and organization of online information...
ISTAR
2008
13 years 9 months ago
2008
One major obstacle to requirements engineering (RE) is the growing complexity of today's systems. Such a complexity can only be fficiently by powerful abstraction mechanisms a...
LREC
2008
13 years 9 months ago
2008
In this paper, we describe our work on building a parallel treebank for a less studied and typologically dissimilar language pair, namely Swedish and Turkish. The treebank is a ba...
MOBIS
2008
13 years 9 months ago
2008
Abstract: Regulatory compliance sets new requirements for business process management (BPM). Companies seek to enhance their corporate governance processes and are required to put ...