31686 search results - page 307 / 6338 » Resource typing in Guru |
112
click to vote
ICCTA
2007
IEEE
2007
IEEE
Digital Signal Types Identification Using a Hierarchical SVM-Based Classifier and Efficient Features
15 years 28 days ago
Automatic digital signal type identification (ADSTI) is an important topic for both military and civilian communication applications. Most of proposed techniques (identifiers) can...
116
Voted
ENTCS
2006
2006
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
15 years 24 days ago
In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic conce...
102
Voted
ENTCS
2007
15 years 22 days ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
92
Voted
ISCI
2007
15 years 20 days ago
2007
Fuzziness (entropy) is a commonly used measure of uncertainty for type-1 fuzzy sets. For interval type-2 fuzzy sets (IT2 FSs), centroid, cardinality, fuzziness, variance and skewn...
106
Voted
JLP
2007
15 years 20 days ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...