Sciweavers

107 search results - page 3 / 22
» On derivations of lattices
Sort
View
ADBIS
2007
Springer
126views Database» more  ADBIS 2007»
14 years 1 months ago
Optimal Query Mapping in Mobile OLAP
Query mapping to aggregation lattices is used in order to exploit sub-cube dependencies in multidimensional databases. It is employed in mobile OLAP dissemination systems, in order...
Ilias Michalarias, Hans-Joachim Lenz
CLA
2007
13 years 11 months ago
Inducing Decision Trees via Concept Lattices
The paper presents a new method of decision tree induction based on formal concept analysis (FCA). The decision tree is derived using a concept lattice, i.e. a hierarchy of cluster...
Radim Belohlávek, Bernard De Baets, Jan Out...
ACL
1998
13 years 11 months ago
Transforming Lattices into Non-deterministic Automata with Optional Null Arcs
The problem of transforming a lattice into a non-deterministic finite state automaton is non-trivial. We present a transformation algorithm which tracks, for each node of an autom...
Mark Seligman, Christian Boitet, Boubaker Meddeb-H...
CSL
2010
Springer
13 years 11 months ago
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
Damien Pous
VIS
2004
IEEE
98views Visualization» more  VIS 2004»
14 years 11 months ago
Linear and Cubic Box Splines for the Body Centered Cubic Lattice
In this paper we derive piecewise linear and piecewise cubic box spline reconstruction filters for data sampled on the body centered cubic (BCC) lattice. We analytically derive a ...
Alireza Entezari, Ramsay Dyer, Torsten Möller