Sciweavers

3082 search results - page 165 / 617
» its 2004
Sort
View
102
Voted
ASAP
2004
IEEE
124views Hardware» more  ASAP 2004»
15 years 4 months ago
Biosequence Similarity Search on the Mercury System
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
Praveen Krishnamurthy, Jeremy Buhler, Roger D. Cha...
111
Voted
BIBE
2004
IEEE
128views Bioinformatics» more  BIBE 2004»
15 years 4 months ago
Towards a Proteomics Meta-Classification
There is a recognized need for a meta-classification that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins...
Anand Kumar, Barry Smith
122
Voted
CSFW
2004
IEEE
15 years 4 months ago
Symbolic Model Checking the Knowledge of the Dining Cryptographers
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
Ron van der Meyden, Kaile Su
AAAI
2004
15 years 2 months ago
Agent-based Simulation of Geo-Political Conflict
The intelligence analysis task of anticipating crises and providing decision makers with reasonable (supportable, explainable)possiblefuturesisextremelydifficult.Toperform this ta...
Glenn Taylor, Richard Frederiksen, Russell R. Vane...
GECCO
2005
Springer
118views Optimization» more  GECCO 2005»
15 years 6 months ago
The Push3 execution stack and the evolution of control
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
Lee Spector, Jon Klein, Maarten Keijzer