18429 search results - page 168 / 3686 » Typing dynamic typing |
158
click to vote
ICCTA
2007
IEEE
2007
IEEE
Digital Signal Types Identification Using a Hierarchical SVM-Based Classifier and Efficient Features
15 years 5 months ago
Automatic digital signal type identification (ADSTI) is an important topic for both military and civilian communication applications. Most of proposed techniques (identifiers) can...
133
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Type III secretion system (T3SS) is a specialized protein delivery system in gramnegative bacteria that injects proteins (called effectors) directly into the eukaryoti...
161
Voted
ENTCS
2006
2006
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
15 years 5 months 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...
135
click to vote
ENTCS
2007
15 years 5 months 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. ...