Sciweavers

29172 search results - page 304 / 5835
» Modeling Systems in CLP
Sort
View
CSSE
2008
IEEE
16 years 1 months ago
Stochastic Gradient Algorithm for Multi-input Systems Based on the Auxiliary Model
—This paper presents an auxiliary model based stochastic gradient parameter estimation algorithm for multiinput output-error systems by minimizing a quadratic cost function. The ...
Yuwu Liao, Xianfang Wang, Rui Feng Ding
ICC
2007
IEEE
171views Communications» more  ICC 2007»
16 years 1 months ago
The Free-Space Optics System Using QCL: Models and Solutions
– Two of the important issues in the free-space optics (FSO) communication systems are the building sway and atmospheric interference. In this paper, the optimization models for ...
Xian Liu
CASC
2006
Springer
410views Mathematics» more  CASC 2006»
15 years 10 months ago
A Symbolic-Numeric Approach to Tube Modeling in CAD Systems
In this note we present a symbolic-numeric method to the problem of tube modeling in CAD systems. Our approach is based on the Kirchhoff kinetic analogy which allows us to find ana...
Gerrit Sobottka, Andreas Weber 0004
CCS
2008
ACM
15 years 8 months ago
EON: modeling and analyzing dynamic access control systems with logic programs
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani...
ACL
1989
15 years 7 months ago
A Transfer Model Using a Typed Feature Structure Rewriting System with Inheritance
We propose a model for transfer in machine translation which uses a rewriting system for typed feature structures. The grammar definitions describe transfer relations which are ap...
Rémi Zajac