1174 search results - page 76 / 235 » Derivation of Characteristic Formulae |
164
click to vote
SEMWEB
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
141
click to vote
BIOTECHNO
2008
IEEE
16 years 18 days ago
2008
IEEE
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
149
click to vote
CDC
2008
IEEE
16 years 18 days ago
2008
IEEE
— Feedback control laws have been traditionally treated as periodic tasks when implemented on digital platforms. However, the growing complexity of systems calls for efficient i...
166
click to vote
GLOBECOM
2008
IEEE
16 years 17 days ago
2008
IEEE
—Consider a wireless multi-hop network formed by distributing a total of n nodes randomly and uniformly in the unit cube [0, 1]d (d = 1, 2, 3) and connecting any two distinct nod...
164
click to vote
GLOBECOM
2008
IEEE
16 years 17 days ago
2008
IEEE
—In this paper, we manage to prove the log-concavity of the generalized Marcum Q-function Qν (a, b) with respect to its order ν on [1, ∞). The proof relies on a powerful math...