Sciweavers

7195 search results - page 407 / 1439
» On Computing Power
Sort
View
CAAP
1990
15 years 9 months ago
Petri Nets as Models of Linear Logic
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
Uffe Engberg, Glynn Winskel
CBMS
2008
IEEE
16 years 24 days ago
Using the Grid for Enhancing the Performance of a Medical Image Search Engine
— In this paper we show how Grid computing can be used to improve the operation of a medical image search system. The paper introduces the basic principles of a content-based ima...
Mikko Juhani Pitkänen, Xin Zhou, Antti Eero J...
FLAIRS
1998
15 years 7 months ago
Strategic Evaluation in Complex Domains
In somecomplexdomains,like the gameof Go,evaluating a position is not simple. In other games,like Chessfor example,material balancegives goodandfast to compute insight onthe value...
Tristan Cazenave
BIRTHDAY
2012
Springer
14 years 2 months ago
Cryptography with Asynchronous Logic Automata
We introduce the use of asynchronous logic automata (ALA) for cryptography. ALA aligns the descriptions of hardware and software for portability, programmability, and scalability. ...
Peter Schmidt-Nielsen, Kailiang Chen, Jonathan Bac...
GECCO
2007
Springer
195views Optimization» more  GECCO 2007»
16 years 14 days ago
MILCS: a mutual information learning classifier system
This paper introduces a new variety of learning classifier system (LCS), called MILCS, which utilizes mutual information as fitness feedback. Unlike most LCSs, MILCS is specifical...
Robert Elliott Smith, Max Kun Jiang