Sciweavers

433 search results - page 34 / 87
» Building an Interpreter with Vmgen
Sort
View
GIS
2007
ACM
14 years 8 months ago
Recognizing cars in aerial imagery to improve orthophotos
The automatic creation of 3D models of urban spaces has become a very active field of research. This has been inspired by recent applications in the location-awareness on the Inte...
Franz Leberl, Horst Bischof, Helmut Grabner, Stefa...
ICSE
2009
IEEE-ACM
14 years 8 months ago
A toolset for automated failure analysis
Classic fault localization techniques can automatically provide information about the suspicious code blocks that are likely responsible for observed failures. This information is...
Fabrizio Pastore, Leonardo Mariani, Mauro Pezz&egr...
ISBI
2008
IEEE
14 years 8 months ago
Automated proteome-wide determination of subcellular location using high throughput microscopy
A major source of information for identifying subcellular location on a proteome-wide basis will be imaging of tagged proteins in living cells using fluorescence microscopy. We ha...
Robert F. Murphy
POPL
2009
ACM
14 years 8 months ago
Automatic modular abstractions for linear constraints
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
David Monniaux
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
14 years 8 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...