Sciweavers

18209 search results - page 3486 / 3642
» Some Remarks on the Paper
Sort
View
AAAI
2000
15 years 7 months ago
DATALOG with Constraints - An Answer-Set Programming System
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
Deborah East, Miroslaw Truszczynski
AAAI
2000
15 years 7 months ago
Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods
The main problem of planning is to find a sequence of actions that an agent must perform to achieve a given objective. An important part of planning is checking whether a given pl...
Raul Trejo, Vladik Kreinovich, Chitta Baral
SGP
2003
15 years 7 months ago
High-Pass Quantization for Mesh Encoding
Any quantization introduces errors. An important question is how to suppress their visual effect. In this paper we present a new quantization method for the geometry of 3D meshes,...
Olga Sorkine, Daniel Cohen-Or, Sivan Toledo
SIP
2003
15 years 7 months ago
Polyphase Antialiasing in Enlargements
Changing resolution of images is a common operation. It is also common to use simple, i.e., small interpolation kernels satisfying some ”smoothness” qualities that are determi...
Daniel Seidner
AIML
1998
15 years 7 months ago
Propositions, Propositional Attitudes and Belief Revision
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
Rohit Parikh
« Prev « First page 3486 / 3642 Last » Next »