Sciweavers

5205 search results - page 875 / 1041
» Tilings and model theory
Sort
View
MMMACNS
2001
Springer
15 years 11 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
IJCNN
2000
IEEE
15 years 11 months ago
Robust Adaptive Critic Based Neurocontrollers for Systems with Input Uncertainties
A two-neural network approach to solving nonlinear optimal control problems is described in this study. This approach called the adaptive critic method consists of one neural netw...
Zhongwu Huang, S. N. Balakrishnan
LICS
2000
IEEE
15 years 11 months ago
Automatic Structures
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
Achim Blumensath, Erich Grädel
COLT
2000
Springer
15 years 10 months ago
PAC Analogues of Perceptron and Winnow via Boosting the Margin
We describe a novel family of PAC model algorithms for learning linear threshold functions. The new algorithms work by boosting a simple weak learner and exhibit complexity bounds...
Rocco A. Servedio
ECRTS
1999
IEEE
15 years 10 months ago
The case for feedback control real-time scheduling
Despite the significant body of results in real-time scheduling, many real world problems are not easily supported. While algorithms such as Earliest Deadline First, Rate Monotoni...
Jack A. Stankovic, Chenyang Lu, Sang Hyuk Son, Gan...