1670 search results - page 268 / 334 » On Skolemization in constructive theories |
AUTOMATICA
2008
15 years 14 hour ago
2008
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...
116
click to vote
AUTOMATICA
2008
15 years 14 hour ago
2008
Fitting data by a bounded complexity linear model is equivalent to low-rank approximation of a matrix constructed from the data. The data matrix being Hankel structured is equival...
118
click to vote
AUTOMATICA
2008
15 years 13 hour ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Classifiers are often used to detect miscreant activities. We study how an adversary can systematically query a classifier to elicit information that allows the adversary to evade...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We focus on credal nets, which are graphical models that generalise Bayesian nets to imprecise probability. We replace the notion of strong independence commonly used in credal ne...