2649 search results - page 249 / 530 » Temporal Theories of Reasoning |
144
click to vote
ICIP
1995
IEEE
16 years 8 months ago
1995
IEEE
This paper presents mathematical frameworks on temporal predictiveprocessing in the MPEG video compression standard. Firstly, a coding gain is derived based on traditional predict...
164
click to vote
CALCO
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...
180
click to vote
ECOWS
2007
Springer
16 years 28 days ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
183
click to vote
TABLEAUX
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
150
click to vote
ICAISC
2004
Springer
16 years 4 days ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...