Sciweavers

376 search results - page 49 / 76
» Year 2000
Sort
View
PPDP
2000
Springer
13 years 11 months ago
Enhanced sharing analysis techniques: a comprehensive evaluation
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
PRICAI
2000
Springer
13 years 11 months ago
Unified Criterion of State Generalization for Reactive Autonomous Agents
Autonomous state generalization problem is a key issue in the research field of behavior learning of reactive agents, and many approaches have been proposed in recent years. Howeve...
Takehisa Yairi, Koichi Hori, Shinichi Nakasuka
SPIRE
2000
Springer
13 years 11 months ago
Virtual Test Tubes: A New Methodology for Computing
Biomolecular computing (BMC) aims to capture the innumerable advantages that biological molecules have gained in the course of millions of years of evolution to perform computatio...
Max H. Garzon, Evan Drumwright, Russell J. Deaton,...
SPW
2000
Springer
13 years 11 months ago
Users and Trust in Cyberspace
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
Pekka Nikander, Kristiina Karvonen
VLDB
2000
ACM
146views Database» more  VLDB 2000»
13 years 11 months ago
A Database Platform for Bioinformatics
In recent years, new developments in genetics have generated a lot of interest in genomic and proteomic data, investing international significance (and competition) in the fledgli...
Sandeepan Banerjee