Sciweavers

1980 search results - page 32 / 396
» On the Associative Nijenhuis Relation
Sort
View
TLCA
2001
Springer
15 years 2 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
15 years 9 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»
14 years 9 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 4 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
14 years 11 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