1619 search results - page 153 / 324 » Structure in the Space of Value Functions |
153
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
169
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
The query performance for tracing tags depends upon the distribution of tag trajectories in the data space. We examine a more efficient representation of tag trajectories by means ...
148
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
ABSTRACT: In this paper I present the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence ...
166
click to vote
MP
2008
15 years 6 months ago
2008
We analyze the rate of local convergence of the augmented Lagrangian method for nonlinear semidefinite optimization. The presence of the positive semidefinite cone constraint requ...
182
click to vote
APIN
1998
15 years 6 months ago
1998
Incidence calculus is a probabilistic logic in which incidences, standing for the situations in which formulae may be true, are assigned to some formulae, and probabilities are as...