1209 search results - page 125 / 242 » Universal Algebra and Computer Science |
138
click to vote
SIGCSE
2010
ACM
15 years 3 months ago
2010
ACM
Applying information and communication technologies to development (ICTD) is emerging as an interesting and motivating research area in computer science and engineering. It spans ...
114
click to vote
FOCS
2007
IEEE
15 years 9 months ago
2007
IEEE
: We study the computational strength of quantum particles (each of finite dimensionality) arranged on a line. First, we prove that it is possible to perform universal adiabatic q...
145
click to vote
RECOMB
1999
Springer
15 years 7 months ago
1999
Springer
We consider the problem of identifying common three-dimensional substructures between proteins. Our method is based on comparing the shape of the α-carbon backbone structures of ...
118
click to vote
STOC
2003
ACM
16 years 3 months ago
2003
ACM
We consider a fundamental problem in computational learning theory: learning an arbitrary Boolean function which depends on an unknown set of k out of n Boolean variables. We give...
134
click to vote
FPCA
1995
15 years 6 months ago
1995
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...