846 search results - page 82 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
82
Voted
CORR
2002
Springer
15 years 16 days ago
2002
Springer
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...
104
click to vote
EGC
2005
Springer
15 years 6 months ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
95
Voted
BMCBI
2008
15 years 26 days ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
119
Voted
ICCS
2009
Springer
15 years 7 months ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
114
Voted
JANCL
2008
15 years 22 days ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...