162 search results - page 17 / 33 » A Relational Approach to the Compilation of Sparse Matrix Pr... |
POPL
2010
ACM
14 years 4 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
We consider the task of creating a 3-d model of a large novel environment, given only a small number of images of the scene. This is a difficult problem, because if the images are...
GECCO
2010
Springer
14 years 10 days ago
2010
Springer
This paper presents a novel approach for knowledge mining from a sparse and repeated measures dataset. Genetic programming based symbolic regression is employed to generate multip...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...