Sciweavers

1980 search results - page 32 / 396
» On the Associative Nijenhuis Relation
Sort
View
TLCA
2001
Springer
15 years 5 months ago
Strong Normalization of Classical Natural Deduction with Disjunction
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
Philippe de Groote
DCC
2004
IEEE
16 years 1 months ago
LDPC Codes from Triangle-Free Line Sets
We study sets of lines of AG(n, q) and PG(n, q) with the property that no three lines form a triangle. As a result the associated point-line incidence graph contains no 6-cycles a...
Keith E. Mellinger
DSS
2007
127views more  DSS 2007»
15 years 1 months ago
Large-scale regulatory network analysis from microarray data: modified Bayesian network learning and association rule mining
We present two algorithms for learning large-scale gene regulatory networks from microarray data: a modified informationtheory-based Bayesian network algorithm and a modified asso...
Zan Huang, Jiexun Li, Hua Su, George S. Watts, Hsi...
CDC
2008
IEEE
152views Control Systems» more  CDC 2008»
15 years 8 months ago
Coordination on Lie groups
— This paper studies the coordinated motion of a group of agents evolving on a Lie group. Left- or rightinvariance with respect to the absolute position on the group lead to two ...
Alain Sarlette, Silvere Bonnabel, Rodolphe Sepulch...
ACL
1998
15 years 2 months ago
Structural Disambiguation Based on Reliable Estimation of Strength of Association
This paper proposes a new class-based method to estimate the strength of association in word co-occurrence for the purpose of structural disambiguation. To deal with sparseness of...
Haodong Wu, Eduardo de Paiva Alves