4488 search results - page 135 / 898 » Properties of NP-Complete Sets |
ISER
1999
Springer
14 years 13 days ago
1999
Springer
Abstract: We present a composite forward model of the mechanics of an excavator backhoe digging in soil. This model is used to predict the trajectories developed by a closed-loop f...
DSN
2004
IEEE
13 years 12 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
ENTCS
2008
13 years 7 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
FS
2010
13 years 6 months ago
2010
The aim of this paper is to investigate the properties of stochastic volatility models, and to discuss to what extent, and with regard to which models, properties of the classical...
LPNMR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...