4573 search results - page 452 / 915 » Automated Reasoning |
194
click to vote
GIS
2007
ACM
15 years 6 months ago
2007
ACM
Thin plate spline interpolation is a widely used approach to generate a digital elevation model (DEM) from contour lines and scattered data. In practice, contour maps are scanned a...
152
click to vote
CL
2004
Springer
15 years 6 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
172
click to vote
CL
2004
Springer
15 years 6 months ago
2004
Springer
Evolving and maintaining software requires adequate documentation of its implementation. However, due to the software's constant evolution, the documentation and implementati...
188
click to vote
CL
2004
Springer
15 years 6 months ago
2004
Springer
Much of the elegance and power of Smalltalk comes from its programming environment and tools. First introduced more than 20 years ago, the Smalltalk browser enables programmers to...
186
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Recent approaches to large vocabulary decoding with finite state graphs have focused on the use of state minimization algorithms to produce relatively compact graphs. This paper e...