11397 search results - page 36 / 2280 » A Relational Abstraction for Functions |
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
102
click to vote
TSP
2008
14 years 11 months ago
2008
Abstract--The dynamics of a rule-based gene regulatory network are determined by the regulatory functions in conjunction with whatever probability distributions are involved in net...
103
click to vote
RECOMB
2006
Springer
16 years 3 days ago
2006
Springer
Abstract. Identifying gene functional modules is an important step towards elucidating gene functions at a global scale. In this paper, we introduce a simple method to construct ge...
AMAI
2010
Springer
14 years 9 months ago
2010
Springer
The study of the interplay between belief and probability can be posed in a geometric framework, in which belief and plausibility functions are represented as points of simplices i...
IFIP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...