Sciweavers

3458 search results - page 110 / 692
» Abstracting Control
Sort
View
BIRTHDAY
1997
Springer
15 years 6 months ago
Controlled Fuzzy Parallel Rewriting
We study a Lindenmayer-like parallel rewriting system to model the growth of filaments (arrays of cells) in which developmental errors may occur. In essence this model is the fuzz...
Peter R. J. Asveld
118
Voted
ESOP
2007
Springer
15 years 6 months ago
Controlling the What and Where of Declassification in Language-Based Security
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
Heiko Mantel, Alexander Reinhard
POPL
1997
ACM
15 years 5 months ago
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
Hanne Riis Nielson, Flemming Nielson
112
Voted
WCE
2007
15 years 3 months ago
Neural Networks for Optimal Control of Aircraft Landing Systems
Abstract—In this work we present a variational formulation for a multilayer perceptron neural network. With this formulation any learning task for the neural network is defined ...
Kevin Lau, Roberto Lopez, Eugenio Oñate
103
Voted
JUCS
2008
118views more  JUCS 2008»
15 years 2 months ago
Controlling Aspect Reentrancy
: Aspect languages provide different mechanisms to control when an aspect should apply based on properties of the execution context. They however fail to explicitly identify and cl...
Éric Tanter