2525 search results - page 247 / 505 » A Framework for Semantic Gossiping |
183
click to vote
TYPES
2004
Springer
16 years 18 days ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
160
click to vote
WEBI
2004
Springer
16 years 18 days ago
2004
Springer
Although much progress has been made, current lowlevel based visual information retrieval technology does not allow users to formulate queries through high-level semantics. More a...
194
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
218
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
206
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...