3719 search results - page 109 / 744 » order 2010 |
114
click to vote
ENTCS
2002
15 years 16 days ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
97
Voted
EOR
2002
15 years 16 days ago
2002
In order to solve heterogeneous single and multiple container loading problems, an algorithm is presented that builds homogeneous blocks of identically orientated items. First a g...
134
click to vote
ITBAM
2010
14 years 11 months ago
2010
A prediction model that exploits the past medical patient history to determine the risk of individuals to develop future diseases is proposed. The model is generated by using the s...
80
Voted
IGARSS
2010
14 years 10 months ago
2010
Speckle reduction is a key step in several SAR image processing procedures. In this paper, a new despeckling technique based on the "nonlocal" denoising filter BM3D [1] ...
91
Voted
ISAMI
2010
14 years 10 months ago
2010
Intelligent Environments are supposed to act proactively anticipating user's needs and preferences in order to provide effective support. Therefore, learning user's frequ...