1870 search results - page 120 / 374 » Abstract And-Parallel Machines |
107
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Recent analysis of sequential algorithms resulted in their axiomatization and in a representation theorem stating that, for any sealgorithm, there is an abstract state ma...
125
click to vote
COMPSAC
1998
IEEE
15 years 7 months ago
1998
IEEE
Protection is an essential issue for the kind of heterogeneous distributed interoperable object environments, which Java and CORBA are a glimpse of. A uniform protection mechanism...
113
click to vote
ENTCS
2006
15 years 2 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 ...
118
click to vote
ICPR
2004
IEEE
16 years 4 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...
129
click to vote
CICLING
2009
Springer
16 years 3 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....