4163 search results - page 142 / 833 » A comprehensive combination framework |
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
HUC
1999
Springer
14 years 1 months ago
1999
Springer
Photographs have significant social roles. For example, they help families and friends to preserve an affective link and provide a support for communication. The increasing popular...
JCP
2007
13 years 8 months ago
2007
—This paper proposes a conceptual framework for mobile learning applications that provides systematic support for mobile learning experience design. It is based on a combination ...
ICML
1998
IEEE
14 years 9 months ago
1998
IEEE
In this paper, we adopt general-sum stochastic games as a framework for multiagent reinforcement learning. Our work extends previous work by Littman on zero-sum stochastic games t...
VR
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a novel calibration framework for multi-projector displays that achieves continuous geometric calibration by estimating and refining the poses of all projectors in an ...