Sciweavers

713 search results - page 39 / 143
» Viewcharts: Syntax and Semantics
Sort
View
FUIN
2002
88views more  FUIN 2002»
14 years 11 months ago
A Formalization of Transition P Systems
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
Mario J. Pérez-Jiménez, Fernando San...
RR
2010
Springer
14 years 10 months ago
Usability of a Visual Language for DL Concept Descriptions
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
Fernando Náufel do Amaral
DAC
1996
ACM
15 years 4 months ago
How to Write Awk and Perl Scripts to Enable Your EDA Tools to Work Together
1 Two tutorials are presented introducing the basic syntax and semantics of Awk and Perl. The languages are taught by example, and the same example EDA applications are developed i...
Robert C. Hutchins, Shankar Hemmady
RSCTC
2000
Springer
113views Fuzzy Logic» more  RSCTC 2000»
15 years 3 months ago
Approximation of Information Granule Sets
The aim of the paper is to present basic notions related to granular computing, namely the information granule syntax and semantics as well as the inclusion and closeness (similari...
Andrzej Skowron, Jaroslaw Stepaniuk, James F. Pete...
RULEML
2005
Springer
15 years 5 months ago
Design and Implementation of an ECA Rule Markup Language
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
Marco Seiriö, Mikael Berndtsson