1995 search results - page 130 / 399 » The Chemical Abstract Machine |
ENTCS
2006
13 years 10 months ago
2006
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
The prediction of protein secondary structure is a classical problem in bioinformatics, and in the past few years several machine learning techniques have been proposed to t. From...
CICLING
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. We describe a semantic clustering method designed to address shortcomings in the common bag-of-words document representation for functional semantic classification tasks....
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Automation of transportation systems and promotion of the operations are becoming an international demand on seaport container terminals. For this issue, we propose an ...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— We address the problem of human motion recognition in this paper. The goal of human motion recognition is to recognize the type of motion recorded in a video clip, whic...