Sciweavers

1253 search results - page 19 / 251
» order 2000
Sort
View
GMP
2010
IEEE
190views Solid Modeling» more  GMP 2010»
14 years 3 hour ago
Construction of Subdivision Surfaces by Fourth-Order Geometric Flows with G1 Boundary Conditions
In this paper, we present a method for constructing Loop’s subdivision surface patches with given G1 boundary conditions and a given topology of control polygon of the subdivisi...
Guoliang Xu, Qing Pan
PUK
2000
13 years 10 months ago
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas
The generation of the set of all ground actions for a given set of ADL operators, which are allowed to have conditional effects and preconditions that can be represented using arbi...
Jana Koehler, Jörg Hoffmann
IJPRAI
2000
108views more  IJPRAI 2000»
13 years 8 months ago
Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
Helmut Prendinger, Mitsuru Ishizuka, Gerhard Schur...
COLING
2000
13 years 10 months ago
Word Order Acquisition from Corpora
In this paper we describe a method of acquiring word order fl'om corpora. Word order is defined as the order of modifiers, or the order of phrasal milts called 'bunsetsu...
Kiyotaka Uchimoto, Masaki Murata, Qing Ma, Satoshi...
CVPR
2000
IEEE
14 years 10 months ago
Order Parameters for Minimax Entropy Distributions: When Does High Level Knowledge Help?
Many problems in vision can be formulated as Bayesian inference. It is important to determine the accuracy of these inferences and how they depend on the problem domain. In recent...
Alan L. Yuille, James M. Coughlan, Song Chun Zhu, ...