Sciweavers

50 search results - page 2 / 10
» A Multidimensional Central Sets Theorem
Sort
View
CADE
2009
Springer
16 years 8 days ago
A Generalization of Semenov's Theorem to Automata over Real Numbers
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
Bernard Boigelot, Jérôme Leroux, Juli...
MLQ
2006
84views more  MLQ 2006»
14 years 11 months ago
A note on Bar Induction in Constructive Set Theory
Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive ZermeloFraenkel Set Theory...
Michael Rathjen
122
Voted
LORI
2009
Springer
15 years 6 months ago
First-Order Logic Formalisation of Arrow's Theorem
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
Umberto Grandi, Ulle Endriss
DMDW
2001
127views Management» more  DMDW 2001»
15 years 1 months ago
MAC: Conceptual data modeling for OLAP
In this paper we address the issue of conceptual modeling of data used in multidimensional analysis. We view the problem from the end-user point of view and we describe a set of r...
Aris Tsois, Nikos Karayannidis, Timos K. Sellis
82
Voted
FUIN
2008
136views more  FUIN 2008»
14 years 11 months ago
Multi-Dimensional Relational Sequence Mining
The issue addressed in this paper concerns the discovery of frequent multi-dimensional patterns from relational sequences. The great variety of applications of sequential pattern m...
Floriana Esposito, Nicola Di Mauro, Teresa Maria A...