Sciweavers

6016 search results - page 292 / 1204
» The semantics of graphical languages
Sort
View
ICCL
1998
IEEE
15 years 11 months ago
Modular Compilers Based on Monad Transformers
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...
William L. Harrison, Samuel N. Kamin
IFIP
2004
Springer
16 years 2 days ago
Three decades of data integration - All problems solved?
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...
Patrick Ziegler, Klaus R. Dittrich
ICALP
2003
Springer
15 years 12 months ago
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces
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...
Stefan Blom, Wan Fokkink, Sumit Nain
NIPS
2004
15 years 8 months ago
Integrating Topics and Syntax
Statistical approaches to language learning typically focus on either short-range syntactic dependencies or long-range semantic dependencies between words. We present a generative...
Thomas L. Griffiths, Mark Steyvers, David M. Blei,...
ENTCS
2008
126views more  ENTCS 2008»
15 years 6 months ago
Comonadic Notions of Computation
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...
Tarmo Uustalu, Varmo Vene