26 search results - page 4 / 6 » sas 2010 |
SAS
2010
Springer
13 years 4 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
SAS
2010
Springer
13 years 4 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
ICASSP
2010
IEEE
13 years 6 months ago
2010
IEEE
This work exploits several machine-learning techniques to address the problem of image-quality prediction of synthetic aperture sonar (SAS) imagery. The objective is to predict th...
ICRA
2010
IEEE
13 years 4 months ago
2010
IEEE
— This work addresses the task of designing the optimal survey route that an autonomous underwater vehicle (AUV) should take in mine countermeasures (MCM) operations. It is assum...
DESIRE
2010
13 years 21 days ago
2010
Much research has focused on the impact of analogies in insight problem solving, but less work has investigated how the visual analogies for insight are actually constructed. Thus...