12774 search results - page 2378 / 2555 » A Framework for Proof Systems |
204
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
199
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
Measurement and inference in data centers present a set of opportunities and challenges distinct from the Internet domain. Existing toolsets may be perturbed or be mislead by issu...
189
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
We consider the problem of finding related tables in a large corpus of heterogenous tables. Detecting related tables provides users a powerful tool for enhancing their tables wit...
198
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— A key step in validating a proposed idea or system is to evaluate over a suitable data set. However, to this date there have been no useful tools for researchers to understand ...
229
click to vote
TOG
2012
13 years 9 months ago
2012
Large collections of 3D models from the same object class (e.g., chairs, cars, animals) are now commonly available via many public repositories, but exploring the range of shape v...