Sciweavers

1358 search results - page 152 / 272
» Semantic Group Formation
Sort
View
ICCS
2003
Springer
15 years 11 months ago
Formalizing Botanical Taxonomies
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
Uta Priss
136
Voted
ICWL
2003
Springer
15 years 11 months ago
A Web-Based Platform for E-learning Based on Information Management System
This paper presents an intelligent Information (course materials) Management System, (called AnyServer) which can serve as an Web based Learning platform (WLP) and enable course ed...
Pui-on Au, Leung Cheng, Weijia Jia, Paul Kai-on Ch...
WCRE
2002
IEEE
15 years 11 months ago
Program Annotation in XML: A Parse-Tree Based Approach
In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...
James F. Power, Brian A. Malloy
EUROMICRO
2000
IEEE
15 years 10 months ago
Behavioral Specification of a Circuit Using SyncCharts: A Case Study
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
Charles André, Marie-Agnès Peraldi-F...
HASE
1999
IEEE
15 years 10 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink