Sciweavers

892 search results - page 65 / 179
» Action respecting embedding
Sort
View
NIPS
1990
13 years 11 months ago
Planning with an Adaptive World Model
We present a new connectionist planning method TML90 . By interaction with an unknown environment, a world model is progressively constructed using gradient descent. For deriving ...
Sebastian Thrun, Knut Möller, Alexander Linde...
APAL
2006
112views more  APAL 2006»
13 years 10 months ago
On complexity of verification of interacting agents' behavior
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
JOLLI
2010
123views more  JOLLI 2010»
13 years 8 months ago
The Situation Calculus: A Case for Modal Logic
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
Gerhard Lakemeyer
CRV
2005
IEEE
179views Robotics» more  CRV 2005»
13 years 12 months ago
Detection of Linear and Cubic Interpolation in JPEG Compressed Images
A novel algorithm is introduced that can detect the presence of interpolation in images prior to compression as well as estimate the interpolation factor. The interpolation detect...
Andrew C. Gallagher
IJMMSC
2010
67views more  IJMMSC 2010»
13 years 4 months ago
Universal Verma Modules and the Misra-Miwa Fock Space
The Misra-Miwa v-deformed Fock space is a representation of the quantized affine algebra Uv(bsl ). It has a standard basis indexed by partitions and the non-zero matrix entries of ...
Arun Ram, Peter Tingley