Sciweavers

635 search results - page 24 / 127
» Towards the formalization of interaction semantics
Sort
View
DATE
1998
IEEE
73views Hardware» more  DATE 1998»
15 years 1 months ago
A Formal Description of VHDL-AMS Analogue Systems
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
Tom J. Kazmierski
VVEIS
2007
14 years 10 months ago
UML-driven Information Systems and their Formal Integration Validation and Distribution
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
Nasreddine Aoumeur, Gunter Saake
ERSHOV
2009
Springer
15 years 4 months ago
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...
Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Sc...
SIGKDD
2002
83views more  SIGKDD 2002»
14 years 9 months ago
Towards Effective and Interpretable Data Mining by Visual Interaction
The primary aim of most data mining algorithms is to facilitate the discovery of concise and interpretable information from large amounts of data. However, many of the current for...
Charu C. Aggarwal
AO
2005
120views more  AO 2005»
14 years 9 months ago
Modes of concept definition and varieties of vagueness
The paper considers the problem of defining concepts within formal ontologies. A number of distinct modes of definition are identified, which represent alternative viewpoints on t...
Brandon Bennett