643 search results - page 39 / 129 » An Empirical Study of Smoothing Techniques for Language Mode... |
121
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
TGIS
2002
14 years 9 months ago
2002
Regularized Spline with Tension (RST) is an accurate, flexible and efficient method for multivariate interpolation of scattered data. This study evaluates its capabilities to inte...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
TOG
2008
14 years 9 months ago
2008
Motivated by applications in architecture and manufacturing, we discuss the problem of covering a freeform surface by single curved panels. This leads to the new concept of semi-d...