2414 search results - page 144 / 483 » Computing Normal Subgroups |
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—In wireless networks, monotonic, strictly subhomogeneous functions have been used to analyze power control algorithms. We provide an alternative analysis based on the ob...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes an approach to representing normal activities in a smart house based on the concept of anxiety. Anxiety is computed as a function of time and is kept low by i...
DNA
2005
Springer
14 years 2 months ago
2005
Springer
We introduce a class of generalized DNF formulae called wDNF or weighted disjunctive normal form, and present a molecular algorithm that learns a wDNF formula from training example...