Sciweavers

369 search results - page 45 / 74
» diagrams 2008
Sort
View
105
Voted
IJFCS
2008
98views more  IJFCS 2008»
15 years 14 days ago
On Succinct Representation of Knowledge Community Taxonomies with Formal Concept Analysis
We present an application of formal concept analysis aimed at representing a meaningful structure of knowledge communities in the form of a lattice-based taxonomy. The taxonomy gr...
Camille Roth, Sergei A. Obiedkov, Derrick G. Kouri...
87
Voted
JAR
2008
81views more  JAR 2008»
15 years 14 days ago
Automatic Symmetry Detection for Promela
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
Alastair F. Donaldson, Alice Miller
TIT
2008
61views more  TIT 2008»
15 years 11 days ago
Performance of Space-Time Codes: Gallager Bounds and Weight Enumeration
Since the standard union bound for space-time codes may diverge in quasi-static fading channels, the limit-before-average technique has been exploited to derive tight performance b...
Cong Ling, Kwok H. Li, Alex ChiChung Kot
71
Voted
CGF
2000
91views more  CGF 2000»
15 years 9 days ago
Floating Points: A method for computing stipple drawings
We present a method for computer generated pen-and-ink illustrations by the simulation of stippling. In a stipple drawing, dots are used to represent tone and also material of sur...
Oliver Deussen, Stefan Hiller, Cornelius W. A. M. ...
111
Voted
SCP
1998
134views more  SCP 1998»
15 years 4 days ago
Abstract Interpretation Using Typed Decision Graphs
Interpretation Using Typed Decision Graphs Laurent Mauborgne LIENS, ´Ecole Normale Sup´erieure, 45 rue d’Ulm, 75230 Paris cedex 05, France Abstract. This article presents a way...
Laurent Mauborgne