Sciweavers

866 search results - page 56 / 174
» A compositional semantics for CHR
Sort
View
MEMOCODE
2007
IEEE
14 years 4 months ago
Scheduling as Rule Composition
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
Nirav Dave, Arvind, Michael Pellauer
MM
2004
ACM
154views Multimedia» more  MM 2004»
14 years 3 months ago
Web services selection for distributed composition of multimedia content
Growing numbers of pervasive devices are gaining access to the Internet. However, much of the existing rich multimedia content cannot be handled by mobile client devices with limi...
Matthias Wagner, Wolfgang Kellerer
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
13 years 9 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
Vytautas Cyras
ICECCS
2007
IEEE
144views Hardware» more  ICECCS 2007»
14 years 4 months ago
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...
ACL
2009
13 years 7 months ago
Detecting Compositionality in Multi-Word Expressions
Identifying whether a multi-word expression (MWE) is compositional or not is important for numerous NLP applications. Sense induction can partition the context of MWEs into semant...
Ioannis Korkontzelos, Suresh Manandhar