1209 search results - page 207 / 242 » Universal Algebra and Computer Science |
130
click to vote
COMPLEX
2009
Springer
16 years 15 days 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...
164
click to vote
COMPGEOM
2006
ACM
15 years 12 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...
159
click to vote
TLCA
2005
Springer
15 years 11 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...
170
click to vote
CSCW
2004
ACM
15 years 11 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...
137
click to vote
AISC
2004
Springer
15 years 11 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...