Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
We study the formulation of the problem to retrieve wind fields from radar data. The considerations here view the radar locations as fixed with retrieved wind fields as functio...
Flexibility in conceptual projection constitutes one of the most challenging issues in the embodiment and conceptual metaphor literatures. We sketch a theoretical proposal that pl...
We consider a norm-preconditioning approach for the solution of discontinuous Galerkin finite element discretizations of second order PDE with non-negative characteristic form. In ...
Performance evaluation of document recognition systems is a difficult and practically important problem. Issues arise in defining requirements, in characterizing the system's...