1127 search results - page 11 / 226 » Theory Extension in ACL2(r) |
Lecture Notes
These notes cover several topics such as Mean-Variance Frontier, Index Models, Risk Measures, CAPM, Utility-Based Portfolio Choice, CAPM Extensions
Investment for the Long Run, Te...
IVC
1998
13 years 7 months ago
1998
This paper discusses an extension to the inverse perspective mapping geometrical transform to the processing of stereo images and presents the calibration method used on the ARGO ...
UTP
2010
13 years 5 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
ATAL
2004
Springer
14 years 24 days ago
2004
Springer
Product Distribution (PD) theory is a new framework for controlling Multi-Agent Systems (MAS’s). First we review one motivation of PD theory, as the information-theoretic extens...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...