1670 search results - page 190 / 334 » On Skolemization in constructive theories |
193
click to vote
FMOODS
2006
15 years 8 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
173
click to vote
IMAGING
2004
15 years 7 months ago
2004
Extending differential-based operations to color images is hindered by the multi-channel nature of color images. The derivatives in different channels can point in opposite direct...
168
click to vote
IJCAI
2001
15 years 7 months ago
2001
This paper describes an algorithm for solving large state-space MDPs (represented as factored MDPs) using search by successive refinement in the space of non-homogeneous partition...
155
click to vote
IADIS
2003
15 years 7 months ago
2003
We sketch a theoretical framework for the construction of evaluation schemes for web sites. The framework is based on the structure quite explicitly found in mathematics, physics ...
187
click to vote
WM
2003
15 years 7 months ago
2003
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...