The automotive engine performance is greatly affected by the calibration of its electronic control unit (ECU). The method for ECU calibration is traditionally done by trial-and-er...
Abstract— This work addresses mission planning for autonomous underwater gliders based on predictions of an uncertain, time-varying current eld. Glider submersibles are highly se...
David R. Thompson, Steve Chien, Yi Chao, Peggy Li,...
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
Mario Ciampi, Luigi Gallo, Antonio Coronato, Giuse...
Data Warehouse (DW), On-Line Analytical Processing (OLAP) and Geographical Information System (GIS) are tools for providing decision-making support. Much research is aimed at inte...
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...