Sciweavers

933 search results - page 104 / 187
» Monotone Complexity of a Pair
Sort
View
ECSQARU
2009
Springer
14 years 3 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conļ¬...
Vasiliki Efstathiou, Anthony Hunter
ICASSP
2008
IEEE
14 years 3 months ago
Modeling regulatory sites with higher order position-dependent weight matrices
Identiļ¬cation of regulatory signals in DNA depends on the nature and quality of the patterns of representative sequences. These patterns are constructed from training sets of se...
Hossein Zare, Mostafa Kaveh, Arkady B. Khodursky
DATE
2007
IEEE
114views Hardware» more  DATE 2007»
14 years 3 months ago
Fast positive-real balanced truncation of symmetric systems using cross Riccati equations
We present a computationally efļ¬cient implementation of positive-real balanced truncation (PRBT) for symmetric multiple-input multiple-output (MIMO) systems. The solution of a p...
Ngai Wong
ICC
2007
IEEE
14 years 3 months ago
Optimizing Power Allocation and Matching of Cooperative Diversity Systems
ā€” In this paper, we study how to appropriately match users for two-user cooperative diversity systems that deploy optimal power allocation for an amplify and forward or a regener...
Veluppillai Mahinthan, Lin Cai, Jon W. Mark, Xuemi...
AGTIVE
2007
Springer
14 years 3 months ago
Using Graph Transformation to Support Collaborative Ontology Evolution
In collaborative ontology engineering, contexts are key to manage the complexity of diļ¬€erent dependency types between ontological artefacts. Instead of being frustrated by out-of...
Pieter De Leenheer, Tom Mens