1716 search results - page 110 / 344 » Proving Conditional Termination |
102
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
When sampling signals below the Nyquist rate, efficient and accurate reconstruction is nevertheless possible, whenever the sampling system is well behaved and the signal is well ...
115
Voted
CAISE
2003
Springer
15 years 6 months ago
2003
Springer
In this paper we make three main contributions. We firstly define multivalued dependencies in XML (XMVDs) and show that they generalize the definition of a functional dependenc...
90
Voted
CORR
2008
Springer
15 years 26 days ago
2008
Springer
This paper focuses on the consensus averaging problem on graphs under general noisy channels. We study a particular class of distributed consensus algorithms based on damped updat...
104
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Hairpin completion is an abstract operation modeling a DNA biooperation which receives as input a DNA strand w = xαyα, and outputs w = xαy¯αx, where x denotes the Watson-Cric...
190
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...