1526 search results - page 196 / 306 » Computer algebra in systems biology |
196
click to vote
MFCS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
133
click to vote
MKM
2005
Springer
16 years 21 days ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
202
click to vote
CONCUR
2003
Springer
16 years 13 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
188
click to vote
AISC
1994
Springer
15 years 11 months ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
179
click to vote
VLDB
1993
ACM
15 years 11 months ago
1993
ACM
In this paper we propose a new declustering method which is particularly suitable for image and cartographic databases used for visualization. Our declustering method is based on ...