1120 search results - page 76 / 224 » Making computer science minority-friendly |
124
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
138
click to vote
CACM
2006
15 years 3 months ago
2006
: Computer scientists work with formal models of algorithms and computation, and someday service scientists may work with formal models of service systems, which we define as value...
118
click to vote
CG
2002
Springer
15 years 3 months ago
2002
Springer
Recently, we proposed a new isosurface extraction algorithm that extracts portions of the isosurface in a viewdependent manner by ray casting and propagation. The algorithm casts ...
123
Voted
SOFSEM
2010
Springer
16 years 19 days ago
2010
Springer
Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently ...
110
click to vote
SOFSEM
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. This article introduces KWQL, spoken “quickel”, a rulebased query language for a semantic wiki based on the label-keyword query paradigm. KWQL allows for rich combine...