1538 search results - page 262 / 308 » Programming with Patterns |
MICCAI
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we introduce a novel approach for inferring articulated spine models from images. A low-dimensional manifold embedding is created from a training set of prior mesh mo...
SEKE
2010
Springer
13 years 8 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
SIGOPS
2010
13 years 8 months ago
2010
Reports of NAND flash device testing in the literature have for the most part been limited to examination of circuit-level parameters on raw flash chips or prototypes, and syste...
MEMOCODE
2010
IEEE
13 years 7 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...