Sciweavers

156 search results - page 20 / 32
» The Expressivity of Quantifying over Regions
Sort
View
104
Voted
AOSD
2009
ACM
15 years 2 months ago
Semantic vs. syntactic compositions in aspect-oriented requirements engineering: an empirical study
Most current aspect composition mechanisms rely on syntactic references to the base modules or wildcard mechanisms quantifying over such syntactic references in pointcut expressio...
Ruzanna Chitchyan, Phil Greenwood, Américo ...
CORR
2004
Springer
176views Education» more  CORR 2004»
14 years 10 months ago
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
Viktor Kuncak, Martin C. Rinard
52
Voted
ICC
2007
IEEE
15 years 4 months ago
Optimal Constellation for General Rectangular PAM/QAM with Arbitrary Code Mapping
Abstract— Recently the exact expression for the BER of rectangular QAM with arbitrary code mapping was obtained [1]. It is then natural to ask for the optimal constellation desig...
Ning Wei, Yi Wan
GANDC
2011
93views more  GANDC 2011»
13 years 9 months ago
Bayesian spatial modeling and interpolation using copulas
Copulas have attracted much attention in spatial statistics over the past few years. They are used as a flexible alternative to traditional methods for nonGaussian spatial modelin...
Hannes Kazianka, Jürgen Pilz
NECO
2007
112views more  NECO 2007»
14 years 9 months ago
Distortion of Neural Signals by Spike Coding
Analog neural signals must be converted into spike trains for transmission over electrically leaky axons. This spike encoding and subsequent decoding leads to distortion. We quant...
David H. Goldberg, Andreas G. Andreou