469 search results - page 10 / 94 » Putting curry-howard to work |
ROMAN
2007
IEEE
14 years 1 months ago
2007
IEEE
Robot Programming by Demonstration (RbD) covers methods by which a robot learns new skills through human guidance. In this work, we take the perspective that the role of the tea...
AAMAS
2008
Springer
13 years 7 months ago
2008
Springer
Recommender systems have been developed for a wide variety of applications (ranging from books, to holidays, to web pages). These systems have used a number of different approache...
APJOR
2010
13 years 5 months ago
2010
This paper provides a fast and accurate randomization algorithm for valuing American puts and calls on dividend-paying stocks and their early exercise boundaries. The primal focus...
WSC
2007
13 years 9 months ago
2007
The simulation of group-work interaction is significant for Chinese enterprise organizational management. As a result, a cellular-automata based simulation model is put forward. T...
DEXAW
2008
IEEE
13 years 9 months ago
2008
IEEE
Virtual product development puts high demands on data management solutions due to many dependent heterogeneous data sources, automatic data transformations, and fast changing requ...