Sciweavers

1638 search results - page 2 / 328
» Properties of input-consuming derivations
Sort
View
BMCBI
2006
106views more  BMCBI 2006»
13 years 5 months ago
Prediction of the functional class of metal-binding proteins from sequence derived physicochemical properties by support vector
Metal-binding proteins play important roles in structural stability, signaling, regulation, transport, immune response, metabolism control, and metal homeostasis. Because of their...
H. H. Lin, L. Y. Han, H. L. Zhang, C. J. Zheng, B....
FUIN
2000
123views more  FUIN 2000»
13 years 4 months ago
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
In semantic and object-oriented data models, each class has one or more typing properties that associate it to other classes, and carry type information about all instances of the ...
Anastasia Analyti, Nicolas Spyratos, Panos Constan...
FACS
1991
170views Hardware» more  FACS 1991»
13 years 8 months ago
Deriving Measures of Software Reuse in Object Oriented Systems
The analysis and measurement of current levels of software reuse are necessary to monitor improvements. This paper provides a framework for the derivation of measures of software ...
James M. Bieman
COMMA
2008
13 years 6 months ago
Hybrid argumentation and its properties
Abstract. We present a variant of AB-dispute derivations for assumption-based argumentation (ABA), that can be used for determining the admissibility of claims. ABA reduces the pro...
Dorian Gaertner, Francesca Toni
ENTCS
2002
95views more  ENTCS 2002»
13 years 4 months ago
Deriving Bisimulation Congruences: A 2-categorical Approach
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for p...
Vladimiro Sassone, Pawel Sobocinski