7971 search results - page 216 / 1595 » On unbounded operators and applications |
161
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
172
click to vote
FPL
2007
Springer
16 years 20 days ago
2007
Springer
The effect of kernel operations on cache optimisations in a soft-core reconfigurable system is important for dynamic cache switching design. Considering kernel operations changes ...
163
click to vote
CAD
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a global optimization operator for arbitrary meshes. The global optimization operator is composed of two main terms, one part is the global Laplacian operator ...
159
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Planning as satisfiability is a powerful approach to solving domain independent planning problems. In this paper, we consider a relaxed semantics for plans with parallel operator a...
164
click to vote
JAIR
2006
15 years 6 months ago
2006
As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutilier's natural revision and provided a prototypic...