1189 search results - page 182 / 238 » The Quotient of an Abstract Interpretation |
DEON
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
EKAW
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
GCB
2004
Springer
14 years 2 months ago
2004
Springer
Abstract: We report on a model for the interaction of chimeric melanocortin Gprotein coupled receptors with peptide ligands using the rough set approach. Rough sets generate If-The...
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
LCPC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...