1313 search results - page 160 / 263 » The Inference Based on Molecular Computing |
COORDINATION
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
104
click to vote
TABLEAUX
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
DCOSS
2005
Springer
15 years 1 months ago
2005
Springer
In this paper, we consider the problem of energy balanced data propagation in wireless sensor networks and we generalise previous works by allowing realistic energy assignment. A n...
DIS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...
124
Voted
BIBE
2010
IEEE
15 years 20 days ago
2010
IEEE
The prediction of gene function from genome sequences is one of the main issues in Bioinformatics. Most computational approaches are based on the similarity between sequences to in...