1116 search results - page 189 / 224 » Applying Predicate Abstraction to Abstract State Machines |
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Artificial immune systems, more specifically the negative selection algorithm, have previously been applied to intrusion detection. The aim of this research is to develop an intrus...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
83
Voted
IJIS
2008
14 years 11 months ago
2008
Abstract: Fuzzy multiset is applicable as a model of information retrieval because it has the mathematical structure which expresses the number and the degree of attribution of an ...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. We develop techniques to investigate relativized hierarchical unambiguous computation. We apply our techniques to push forward some known constructs involving relativized...
ITSSA
2006
14 years 11 months ago
2006
Abstract. This paper presents a multi-agent approach to gene expression analysis and illustrates the working steps using real dataset produced from a microarray experiment. The ana...