7918 search results - page 1148 / 1584 » Model Composition Directives |
141
click to vote
CJ
2006
15 years 5 months ago
2006
Aggregate signatures are a useful primitive which allows to aggregate into a single and constant-length signature many signatures on different messages computed by different users...
148
click to vote
COR
2006
15 years 5 months ago
2006
Arc Routing Problems on mixed graphs have been modelled in the literature either using just one variable per edge or associating to each edge two variables, each one representing ...
146
click to vote
ENGL
2006
15 years 5 months ago
2006
A direct adaptive neural network control system with and without integral action term is designed for the general class of continuous biological fermentation processes. The control...
262
click to vote
ENTCS
2006
15 years 5 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
106
click to vote
BSL
2007
15 years 5 months ago
2007
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...