469 search results - page 5 / 94 » Putting curry-howard to work |
IJMMS
2000
13 years 7 months ago
2000
AAAI
2006
13 years 9 months ago
2006
Since the 1970s AI as a science has progressively fragmented into many activities that are very narrowly focused. It is not clear that work done within these fragments can be comb...
CGF
2008
13 years 7 months ago
2008
Fiber tracking is a standard tool to estimate the course of major white matter tracts from diffusion tensor magnetic resonance imaging (DT-MRI) data. In this work, we aim at suppo...
HICSS
2000
IEEE
13 years 12 months ago
2000
IEEE
We outline and clarify the essential concepts of the componentware paradigm. After motivating the role of formal foundations and introducing a number of useful description techniq...
MI
1993
13 years 8 months ago
1993
AI planning research is now maturing and nding practical application in the commercial, industrial, engineering and defence sectors. This has led to a rapid expansion in the last ...