Sciweavers

56 search results - page 6 / 12
» jucs 2002
Sort
View
JUCS
2002
92views more  JUCS 2002»
14 years 9 months ago
Tiling the Hyperbolic Plane with a Single Pentagonal Tile
: In this paper, we study the number of tilings of the hyperbolic plane that can be constructed, starting from a single pentagonal tile, the only permitted transformations on the b...
Maurice Margenstern
JUCS
2002
179views more  JUCS 2002»
14 years 9 months ago
A Fast and Simple Algorithm for Constructing Minimal Acyclic Deterministic Finite Automata
: In this paper, we present a fast and simple algorithm for constructing a minimal acyclic deterministic finite automaton from a finite set of words. Such automata are useful in a ...
Bruce W. Watson
JUCS
2002
113views more  JUCS 2002»
14 years 9 months ago
The Origins and the Development of the ASM Method for High Level System Design and Analysis
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
Egon Börger
JUCS
2002
97views more  JUCS 2002»
14 years 9 months ago
The TrailTRECer Framework: Applying Open Hypermedia Concepts to Trails
: Being lost in space and overloaded with information are two key problems users are confronted with, when searching for appropriate information. Trails built from information abou...
Erich Gams, Siegfried Reich
JUCS
2002
103views more  JUCS 2002»
14 years 9 months ago
Knowledge Nodes: the Building Blocks of a Distributed Approach to Knowledge
Abstract: In this paper, we criticise the objectivistic approach that underlies most current systems for Knowledge Management. We show that such an approach is incompatible with th...
Matteo Bonifacio, Paolo Bouquet, Roberta Cuel