Sciweavers

4355 search results - page 482 / 871
» From Interpretation to Compilation
Sort
View
ASC
2004
15 years 6 months ago
Neural network-based colonoscopic diagnosis using on-line learning and differential evolution
In this paper, on-line training of neural networks is investigated in the context of computer-assisted colonoscopic diagnosis. A memory-based adaptation of the learning rate for t...
George D. Magoulas, Vassilis P. Plagianakos, Micha...
AUTOMATICA
2004
64views more  AUTOMATICA 2004»
15 years 6 months ago
Linear LMI-based external anti-windup augmentation for stable linear systems
We study linear anti-windup augmentation for linear control systems with saturated linear plants in the special case when the anti-windup compensator can only modify the input and...
Gene Grimm, Andrew R. Teel, Luca Zaccarian
BSL
2004
100views more  BSL 2004»
15 years 6 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
CG
2004
Springer
15 years 6 months ago
Recursive turtle programs and iterated affine transformations
We provide a formal proof of equivalence between the class of fractals created by Recursive Turtle Programs (RTP) and Iterated Affine Transformations (IAT). We begin by reviewing ...
Tao Ju, Scott Schaefer, Ron Goldman
CORR
2004
Springer
143views Education» more  CORR 2004»
15 years 6 months ago
An argumentative annotation schema for meeting discussions
In this article, we are interested in the annotation of transcriptions of human-human dialogue taken from meeting records. We first propose a meeting content model where conversat...
Vincenzo Pallotta, Hatem Ghorbel, Patrick Ruch, Gi...