987 search results - page 119 / 198 » Ludics and Its Applications to Natural Language Semantics |
224
click to vote
ICFP
1997
ACM
15 years 10 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
183
click to vote
SOSYM
2010
15 years 4 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
182
click to vote
EPK
2006
15 years 7 months ago
2006
: In this paper, Event Process Chains (EPCs) and activity diagrams (ADs) of the Unified Modeling Language (UML) are compared with respect to (1) their syntax and its expressiveness...
164
click to vote
DATE
2008
IEEE
2008
IEEE
An Optimized Message Passing Framework for Parallel Implementation of Signal Processing Applications
16 years 27 days ago
Novel reconfigurable computing platforms enable efficient realizations of complex signal processing applications by allowing exploitation of parallelization resulting in high thro...
184
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...