This paper presents a brief overview of the bidirectional (Japanese and English) TransferDriven Machine Translation system, currently being developed at ATR. The aim of this devel...
This paper proposes a novel adaptive sliding mode control with PID tuning method for a class of uncertain systems. The goal is to achieve system robustness against parameter variat...
Abstract This work proposes a system for the automatic construction of multi-spectral three-dimensional (3D) models of architecture. Besides the specific application, which concern...
Nicola Brusco, S. Capeleto, M. Fedel, A. Paviotti,...
This paper investigates the stability of neutral delay-differential systems with mixed multiple time-varying delay arguments. Based on the Lyapunov functional method, and the rela...
A propositional proof system is automatizable if there is an algorithm that, given a tautology, produces a proof in time polynomial in the size of its smallest proof. This notion ...