1173 search results - page 144 / 235 » Program Derivation Using Analogy |
129
Voted
SIAMSC
2008
15 years 2 months ago
2008
We propose a distributed algorithm for solving Euclidean metric realization problems arising from large 3D graphs, using only noisy distance information, and without any prior kno...
112
Voted
MSWIM
2005
ACM
15 years 8 months ago
2005
ACM
In order for precise evaluation of MANET applications, more realistic mobility models are needed in wireless network simulations. In this paper, we focus on the behavior of pedest...
119
Voted
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
235
Voted
VL
2008
IEEE
15 years 9 months ago
2008
IEEE
An important part of many programming tasks is the use of libraries and other forms of Application Programming Interfaces (APIs). Programming via web services using a Service-Orie...
140
Voted
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...