1027 search results - page 108 / 206 » Representing and Reasoning with Operational Semantics |
111
Voted
DGO
2007
15 years 2 months ago
2007
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
80
Voted
RE
2007
Springer
15 years 6 months ago
2007
Springer
Context-aware applications monitor changes in their operating environment and switch their behaviour to keep satisfying their requirements. Therefore, they must be equipped with th...
101
Voted
GG
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
ICCBR
2010
Springer
15 years 4 months ago
2010
Springer
This paper addresses the issue of adapting cases represented by plain text with the help of formal concept analysis and natural language processing technologies. The actual cases r...
104
Voted
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Ordinal Conditional Functions (OCFs) are one of the predominant frameworks to define belief change operators. In his original paper Spohn defines OCFs as functions from t...