11231 search results - page 2245 / 2247 » Digging for Data Structures |
216
Voted
CADE
2011
Springer
14 years 1 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
126
Voted
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
The study of information flow analyzes the principles and mechanisms of social information distribution. It is becoming an extremely important research topic in social network re...
126
Voted
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
Social media services have spread throughout the world in just a few years. They have become not only a new source of information, but also new mechanisms for societies world-wide...
119
Voted
CLUSTER
2011
IEEE
14 years 28 days ago
2011
IEEE
—Atomic operations are important building blocks in supporting general-purpose computing on graphics processing units (GPUs). For instance, they can be used to coordinate executi...
254
Voted
EMMCVPR
2011
Springer
14 years 26 days ago
2011
Springer
Length and area regularization are commonplace for inverse problems today. It has however turned out to be much more difficult to incorporate a curvature prior. In this paper we pr...