We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
It is known that the use of video can help improve the performance of face verification systems. However, processing video in resource constrained devices is prohibitive. In order ...
This paper describes inAir, a tool for sharing measurements and visualizations of indoor air quality within one’s social network. Poor indoor air quality is difficult for humans...
This paper reports an improvement to genetic programming (GP) search for the symbolic regression domain, based on an analysis of dissimilarity and mating. GP search is generally di...
Steven Gustafson, Edmund K. Burke, Natalio Krasnog...
In this paper, we present our vision for a framework to facilitate computationally-based aerospace vehicle design by improving the quality of the response surfaces that can be deve...
David Thompson, Srinivasan Parthasarathy, Raghu Ma...