Sciweavers

5409 search results - page 611 / 1082
» Basic Observables for Processes
Sort
View
EWCBR
2004
Springer
16 years 5 days ago
An Analysis of Case-Base Editing in a Spam Filtering System
Because of the volume of spam email and its evolving nature, any deployed Machine Learning-based spam filtering system will need to have procedures for case-base maintenance. Key t...
Sarah Jane Delany, Padraig Cunningham
FOSSACS
2004
Springer
16 years 5 days ago
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
Ajith Ramanathan, John C. Mitchell, Andre Scedrov,...
GECCO
2004
Springer
16 years 5 days ago
Memetic Crossover for Genetic Programming: Evolution Through Imitation
For problems where the evaluation of an individual is the dominant factor in the total computation time of the evolutionary process, minimizing the number of evaluations becomes cr...
Brent E. Eskridge, Dean F. Hougen
ICALP
2004
Springer
16 years 5 days ago
A Calculus of Coroutines
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
James Laird
ICCSA
2004
Springer
16 years 5 days ago
A Sequence-Focused Parallelisation of EMBOSS on a Cluster of Workstations
Abstract. A number of individual bioinformatics applications (particularly BLAST and other sequence searching methods) have recently been implemented over clusters of workstations ...
Karl Podesta, Martin Crane, Heather J. Ruskin