6794 search results - page 357 / 1359 » Semantics of Visual Languages |
174
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
Data integration is one of the older research fields in the database area and has emerged shortly after database systems were first introduced into the business world. In this pa...
151
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
157
click to vote
NIPS
2004
15 years 8 months ago
2004
Statistical approaches to language learning typically focus on either short-range syntactic dependencies or long-range semantic dependencies between words. We present a generative...
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
We argue that symmetric (semi)monoidal comonads provide a means to structure context-dependent notions of computation such as notions of dataflow computation (computation on strea...
168
click to vote
MSCS
2006
15 years 6 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...