289 search results - page 14 / 58 » Algebraic results for structured operational semantics |
124
click to vote
ICDT
2009
ACM
15 years 6 months ago
2009
ACM
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
EPEW
2005
Springer
15 years 5 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
IJAR
2008
14 years 11 months ago
2008
There is a well-recognised need in diverse applications for reasoning with multiple, potentially inconsistent sources of information. One approach is to represent each source of i...
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
COSIT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...