1209 search results - page 152 / 242 » Universal Algebra and Computer Science |
145
Voted
SIGCSE
2012
ACM
13 years 10 months ago
2012
ACM
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...
124
Voted
COMPGEOM
1992
ACM
15 years 6 months ago
1992
ACM
We present a simple randomized algorithm which solves linear programs with n constraints and d variables in expected minfO(d 22dn); e 2 pdln(n= p d)+O( p d+lnn)g time in the unit ...
113
Voted
CHI
2009
ACM
16 years 3 months ago
2009
ACM
People with motor impairments can benefit greatly from being able to take part in Massively Multiplayer On-line Games, such as World of Warcraft. We are investigating how to use e...
98
Voted
APAL
2010
15 years 2 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
180
click to vote
Book
"Object-Oriented Software Composition adopts the viewpoint that object-oriented technology is essentially about composing flexible software applications from software componen...