455 search results - page 67 / 91 » The Linear Logical Abstract Machine |
140
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...
154
Voted
ADBIS
2006
Springer
15 years 6 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
123
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
137
click to vote
KES
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This work proposes a family of language-independent semantic kernel functions defined for individuals in an ontology. This allows exploiting wellfounded kernel methods fo...
129
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...