Sciweavers

1209 search results - page 40 / 242
» Universal Algebra and Computer Science
Sort
View
80
Voted
GI
2004
Springer
15 years 5 months ago
Outlier Detection by Rareness Assumption
: A concept for identification of candidates for outliers is presented, with a focus on nominal variables. The database concerned is searched for rules that are almost universally...
Tomas Hrycej, Jochen Hipp
RTA
2010
Springer
14 years 10 months ago
The Undecidability of Type Related Problems in Type-free Style System F
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
Ken-etsu Fujita, Aleksy Schubert
STACS
2009
Springer
15 years 6 months ago
On Local Symmetries and Universality in Cellular Automata
Cellular automata (CA) are dynamical systems defined by a finite local rule but they are studied for their global dynamics. They can exhibit a wide range of complex behaviours an...
Laurent Boyer, Guillaume Theyssier
CG
2005
Springer
14 years 11 months ago
Computer Graphics education in different curricula: analysis and proposal for courses
This paper studies how Computer Graphics is taught and proposes a course on 2D Computer Graphics and Image Processing as an alternative to the traditional 3D Computer Graphics cou...
Eric Paquette
FOCS
2000
IEEE
15 years 3 months ago
Efficient Algorithms for Universal Portfolios
A constant rebalanced portfolio is an investment strategy that keeps the same distribution of wealth among a set of stocks from day to day. There has been much work on Cover'...
Adam Kalai, Santosh Vempala