Sciweavers

6269 search results - page 847 / 1254
» Turning data into knowledge
Sort
View
APLAS
2009
ACM
16 years 1 months ago
The Higher-Order, Call-by-Value Applied Pi-Calculus
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
Nobuyuki Sato, Eijiro Sumii
172
Voted
EVOW
2010
Springer
16 years 1 months ago
A Local Search Appproach for Transmembrane Segment and Signal Peptide Discrimination
Discriminating between secreted and membrane proteins is a challenging task. This is particularly true for discriminating between transmembrane segments and signal peptides because...
Sami Laroum, Dominique Tessier, Béatrice Du...
CEC
2008
IEEE
16 years 1 months ago
Decentralised distributed multiple objective particle swarm optimisation using peer to peer networks
—This paper describes a distributed particle swarm optimisation algorithm (PSO) based on peer-to-peer computer networks. A number of modifications are made to the more tradition...
Ian Scriven, Andrew Lewis, David Ireland, Junwei L...
CNSR
2008
IEEE
126views Communications» more  CNSR 2008»
16 years 1 months ago
An Orthogonal Projection Approach for Blind Beamforming in Multipath CDMA Channels
In this paper, we propose a blind beamforming technique for multipath CDMA channels, which requires prior knowledge of only the spreading code and the timing of the desired user. ...
Jianshu Chen, Jian Wang, Pengyu Zhang, Jian Yuan, ...
EMS
2008
IEEE
16 years 1 months ago
Modelling the Relationship between Visual Short-Term Memory Capacity and Recall Ability
Previous cognitive modelling work has suggested that the decline of short-term memory (STM) capacity is the dominant factor of age-related decline on recall ability. We report the...
Richard Ll. Smith, Peter C. R. Lane, Fernand Gobet