Sciweavers

4899 search results - page 309 / 980
» Robust normative systems
Sort
View
COLING
1994
15 years 8 months ago
A Bidirectional, Transfer-Driven Machine Translation System For Spoken Dialogues
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...
Yasuhiro Sobashima, Osamu Furuse, Susumu Akamine, ...
ENGL
2008
102views more  ENGL 2008»
15 years 6 months ago
Adaptive Sliding Mode Control with PID Tuning for Uncertain Systems
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...
T. C. Kuo, Y. J. Huang, C. Y. Chen, C. H. Chang
MVA
2006
15 years 6 months ago
A System for 3D Modeling Frescoed Historical Buildings with Multispectral Texture Information
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,...
MCS
2007
Springer
15 years 6 months ago
Delay-dependent stability analysis for uncertain neutral systems with time-varying delays
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...
Xin-Ge Liu, Min Wu, Ralph Martin, Mei-Lan Tang
CSL
2002
Springer
15 years 6 months ago
On the Automatizability of Resolution and Related Propositional Proof Systems
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 ...
Albert Atserias, Maria Luisa Bonet