694 search results - page 24 / 139 » Open Graphs and Computational Reasoning |
108
Voted
JAIR
2006
15 years 3 months ago
2006
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we ...
121
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
Programmable shading is a common technique for production animation, but interactive programmable shading is not yet widely available. We support interactive programmable shading ...
102
Voted
SIGOPS
2010
15 years 1 months ago
2010
—Cloud computing provides us with general purpose storage and server hosting platforms at a reasonable price. We explore the possibility of tapping these resources for the purpos...
131
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
247
Voted
Publication
Ever wondered why open source finally yields products that work? Eric Raymod discusses that in this paper using the bazaar as a metaphor for open source hacker developed software t...