Sciweavers

3328 search results - page 209 / 666
» On Plateaued Functions and Their Constructions
Sort
View
CNL
2009
15 years 7 months ago
Polysemy in Controlled Natural Language Texts
Controlled natural languages (CNL) and computational semantics in general do not address word sense disambiguation, i.e., they tend to interpret only some functional words that are...
Normunds Gruzitis, Guntis Barzdins
ECCC
2010
82views more  ECCC 2010»
15 years 6 months ago
On optimal proof systems and logics for PTIME
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show t...
Yijia Chen, Jörg Flum
CPHYSICS
2006
57views more  CPHYSICS 2006»
15 years 6 months ago
Generation of Clebsch-Gordan coefficients for the point and double groups
The theory of the point and double groups has been widely used in quantum physics to understand the structure and dynamical properties of molecules and solids. In order to constru...
K. Rykhlinskaya, S. Fritzsche
JCT
2008
70views more  JCT 2008»
15 years 6 months ago
Bruhat order, smooth Schubert varieties, and hyperplane arrangements
The aim of this article is to link Schubert varieties in the flag manifold with hyperplane arrangements. For a permutation, we construct a certain graphical hyperplane arrangement....
Suho Oh, Alexander Postnikov, Hwanchul Yoo
IPL
2006
103views more  IPL 2006»
15 years 6 months ago
On the cost of searching signature trees
A precise analysis of the retrieval of signature trees is presented. A signature tree is a data structure constructed over a signature file to speed up searching all those signatu...
Yangjun Chen