نتایج جستجو برای: umbrella clause

تعداد نتایج: 14771  

2008
Weirong Chen

Based on the definition of the relative clause from Song (2001), this paper examines the relative clause in the Hui’an dialect from four parameters: (a) the relativization marker used; (b) the position of the head noun relative to the restricting clause; (c) the role and encoding of the head noun in the restricting clause; and (d) the role and encoding of the head noun in the main clause. The H...

Journal: :CoRR 2011
Oliver Kullmann

This is the report-version of a mini-series of two articles [60, 61] on the foundations of conjunctive normal forms with non-boolean variables. These two parts are here bundled in one report, each part yielding a chapter. Part I We consider the problem of generalising boolean formulas in conjunctive normal form by allowing non-boolean variables, with the goal of maintaining combinatorial proper...

Journal: :The journal of physical chemistry. B 2014
Kurt R Brorsen Spencer R Pruitt Mark S Gordon

The surface affinity of the hydronium ion in water is investigated with umbrella sampling and classical molecular dynamics simulations, in which the system is described with the effective fragment potential (EFP). The solvated hydronium ion is also explored using second order perturbation theory for the hydronium ion and the empirical TIP5P potential for the waters. Umbrella sampling is used to...

2013
Jeanine Miklos-Thal Jeanine Miklós-Thal

This paper develops a theory of umbrella branding as a way to link the reputations of otherwise unrelated products. My analysis predicts that umbrella branding can credibly signal positive correlation between the qualities of the included products to consumers, but cannot certify high quality or signal negative quality correlation. Moreover, whenever umbrella branding signals perfect positive q...

2010
Junsheng Zhou Yabing Zhang Xinyu Dai Jiajun Chen

Chinese event descriptive clause splitting is the task of splitting a complex Chinese sentence into several clauses. In this paper, we present a discriminative approach for Chinese event descriptive clause splitting task. By formulating the Chinese clause splitting task as a sequence labeling problem, we apply the structured SVMs model to Chinese clause splitting. Compared with other two baseli...

2005
Dave Rudolf David Mould

We present a framework for animating the major features of jellyfish motion. Specifically, we concentrate on simulating the contracting and expanding umbrella of a fully grown jellyfish. The outer surface of the umbrella is treated as an elastic body, simulated numerically with a spring-mass system. The thrust generated by umbrellar contraction is calculated with approximated models and based o...

Journal: :JCIT 2010
Youjun Xu Dantong Ouyang Yuxin Ye

Model counting is an important problem in artificial intelligence and is applied in several areas of information science. Extension rule is a method which could be used to count models. But it’s not appropriate when clause length is short or clause number is huge. After studying extension rule, we found that the satisfiability problem could be solved by hitting set algorithms. And the models co...

1995
Steven Dawson C. R. Ramakrishnan I. V. Ramakrishnan Theresa Swift

While clause resolution is central to logic programming, practical eeorts to optimize resolution have largely concerned eecient clause indexing. One recent exception is Uniication Factoring 5], which optimizes backtracking through clause heads. Here we consider the problem of optimizing clause resolution in a more general setting than Uniication Factoring. One fundamental change is to use mode ...

1995
Steven Dawson C. R. Ramakrishnan I. V. Ramakrishnan Terrance Swift

While clause resolution is central to logic programming, practical eeorts to optimize resolution have largely concerned eecient clause indexing. One recent exception is Uniication Factoring 5], which optimizes backtracking through clause heads. Here we consider the problem of optimizing clause resolution in a more general setting than Uniication Factoring. One fundamental change is to use mode ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید