811 search results - page 55 / 163 » Refactoring Using Type Constraints |
TKDE
2008
13 years 8 months ago
2008
Semisupervised clustering algorithms partition a given data set using limited supervision from the user. The success of these algorithms depends on the type of supervision and also...
ESORICS
2010
Springer
13 years 9 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
EMNLP
2008
13 years 10 months ago
2008
This paper describes a new automatic method for Japanese predicate argument structure analysis. The method learns relevant features to assign case roles to the argument of the tar...
CGF
2010
13 years 8 months ago
2010
This paper presents a diffusion method for generating terrains from a set of parameterized curves that characterize the landform features such as ridge lines, riverbeds or cliffs....