2373 search results - page 339 / 475 » On the Theory of Structural Subtyping |
159
click to vote
ISSAC
2007
Springer
16 years 18 days ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
177
click to vote
SIGIR
2006
ACM
16 years 12 days ago
2006
ACM
Since the website is one of the most important organizational structures of the Web, how to effectively rank websites has been essential to many Web applications, such as Web sear...
202
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
233
click to vote
DIGRA
2005
Springer
15 years 12 months ago
2005
Springer
This paper is an addition to the discourse surrounding interface theory and pervasive games. A buzzword by nature, the term ´interface´ needs to be investigated and redefined in...
214
click to vote
CSCW
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we describe the evolution and impact of computersupported cooperative work (CSCW) research through social network analysis of coauthorship data. A network of author...