1209 search results - page 207 / 242 » Universal Algebra and Computer Science |
COMPLEX
2009
Springer
15 years 9 months ago
2009
Springer
Financial fluctuations play a key role for financial markets studies. A new approach focusing on properties of return intervals can help to get better understanding of the fluct...
124
click to vote
COMPGEOM
2006
ACM
15 years 8 months ago
2006
ACM
In a Batched Colored Intersection Searching Problem (CI), one is given a set of n geometric objects (of a certain class). Each object is colored by one of c colors, and the goal i...
118
click to vote
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
121
Voted
CSCW
2004
ACM
15 years 7 months ago
2004
ACM
The needs of blind and visually impaired users are seriously under-investigated in CSCW. We review work on assistive interfaces especially concerning how collaboration between sig...
100
click to vote
AISC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...