4211 search results - page 694 / 843 » Types as Abstract Interpretations |
154
click to vote
COCOON
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
132
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...
132
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...
152
click to vote
CVBIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Markov Random Fields (MRFs) are a popular and wellmotivated model for many medical image processing tasks such as segmentation. Discriminative Random Fields (DRFs), a dis...
124
click to vote
DAWAK
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. From the point of view of a data warehouse system its part of collecting and receiving information from other systems is crucial for all subsequent business intelligence ...