8025 search results - page 1089 / 1605 » Combinators Introduction: An Algorithm |
189
click to vote
JFP
2000
15 years 7 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
221
click to vote
TCSV
2002
15 years 6 months ago
2002
Abstract--A novel fully comprehensive mobile video communications system is proposed in this paper. This system exploits the useful rate management features of the video transcoder...
209
click to vote
PR
2010
15 years 5 months ago
2010
In order to handle complex face image variations in face recognition, multi-image face recognition has been proposed, instead of using a single still-imagebased approach. In many ...
208
click to vote
ICDM
2010
IEEE
15 years 5 months ago
2010
IEEE
A city offers thousands of social events a day, and it is difficult for dwellers to make choices. The combination of mobile phones and recommender systems can change the way one de...
238
click to vote
TCBB
2011
15 years 2 months ago
2011
—Protein identification is a key and essential step in mass spectrometry (MS) based proteome research. To date, there are many protein identification strategies that employ eithe...