1209 search results - page 170 / 242 » Universal Algebra and Computer Science |
110
click to vote
WMPI
2004
ACM
15 years 8 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
118
click to vote
FOCS
2002
IEEE
15 years 7 months ago
2002
IEEE
We give the first polynomial time algorithm to learn any function of a constant number of halfspaces under the uniform distribution on the Boolean hypercube to within any constan...
116
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
115
click to vote
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents results from a survey of Vancouver secondary school students on their interests and perceived abilities in a range of subjects, the factors they felt would inf...
145
click to vote
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...