Sciweavers

933 search results - page 104 / 187
» Monotone Complexity of a Pair
Sort
View
ECSQARU
2009
Springer
16 years 26 days 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
16 years 23 days ago
Modeling regulatory sites with higher order position-dependent weight matrices
Identification 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»
16 years 19 days ago
Fast positive-real balanced truncation of symmetric systems using cross Riccati equations
We present a computationally efficient 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
16 years 19 days 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
16 years 15 days ago
Using Graph Transformation to Support Collaborative Ontology Evolution
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
Pieter De Leenheer, Tom Mens