Sciweavers

643 search results - page 60 / 129
» Parsing And Derivational Equivalence
Sort
View
LPNMR
2009
Springer
14 years 2 months ago
A Default Approach to Semantics of Logic Programs with Constraint Atoms
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
Yi-Dong Shen, Jia-Huai You
CORR
2006
Springer
77views Education» more  CORR 2006»
13 years 7 months ago
Quantization Bounds on Grassmann Manifolds and Applications to MIMO Communications
This paper considers the quantization problem on the Grassmann manifold Gn,p, the set of all p-dimensional planes (through the origin) in the n-dimensional Euclidean space. The ch...
Wei Dai, Youjian Liu, Brian Rider
PAMI
2006
278views more  PAMI 2006»
13 years 7 months ago
On the Removal of Shadows from Images
This paper is concerned with the derivation of a progression of shadow-free image representations. First, we show that adopting certain assumptions about lights and cameras leads t...
Graham D. Finlayson, Steven D. Hordley, Cheng Lu, ...
SIPS
2008
IEEE
14 years 2 months ago
Efficient data flow variable length decoding implementation for the MPEG reconfigurable video coding framework
In 2004, ISO/IEC SC29 better known as MPEG started a new standard initiative aiming at facilitating the deployment of multi-format video codec design and to enable the possibility...
Jianjun Li, Dandan Ding, Christophe Lucarz, Samuel...
MICAI
2007
Springer
14 years 1 months ago
Variants of Tree Kernels for XML Documents
In this paper, we discuss tree kernels that can be applied for the classification of XML documents based on their DOM trees. DOM trees are ordered trees, in which every node might...
Peter Geibel, Helmar Gust, Kai-Uwe Kühnberger