1173 search results - page 131 / 235 » Program Derivation Using Analogy |
138
click to vote
LFCS
1992
Springer
15 years 9 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
135
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, author proposes a solution to make URI Resolver class available in different programming languages. The Semantic Resolver derived from a corresponding .NET or Java ...
115
click to vote
IPL
2008
15 years 5 months ago
2008
In this paper, we show how we can derive lower bounds and also compute the exact distortion for the line embeddings of some special metrics, especially trees and graphs with certai...
145
Voted
CDC
2010
IEEE
15 years 1 days ago
2010
IEEE
This paper proposes a novel approach to stability analysis and controller synthesis for discrete-time periodically time-varying systems. Firstly, a relaxation of standard Lyapunov ...
123
click to vote
TASLP
2010
14 years 11 months ago
2010
We introduce two new methods for the demodulation of acoustic signals by posing the problem in a convex optimization framework. This allows the parameters of the modulator and carr...