469 search results - page 53 / 94 » Putting curry-howard to work |
CGI
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper describes an approach to construct interactive virtual environments, which are suitable for the development of artificial virtual human life simulations. Our main goal ...
IFIP
2000
Springer
13 years 11 months ago
2000
Springer
: This paper reports from a systems development research tradition in which emphasis is put on relating research activities to practice and on establishing fruitful collaboration b...
ASPDAC
1995
ACM
13 years 11 months ago
1995
ACM
One of the interesting problems in hardware-software co-design is that of debugging embedded software in conjunction with hardware. Currently, most software designers wait until a...
SOFSEM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper we describe an e cient and scalable implementation for grammar induction based on the EMILE approach ( 2], 3], 4], 5], 6]). The current EMILE 4.1 implementa...
DEXA
1995
Springer
13 years 11 months ago
1995
Springer
To support applications, such as efficient browsing in large knowledge bases and cooperative knowledge discovery in large databases, the concept of rule similarity is essential. In...