Join Our Newsletter
3 search results - page 1 / 1 » Towards a practical theory of reformulation for reasoning ab... |
AI
2005
Springer
12 years 5 months ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
POPL
2012
ACM
11 years 1 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...
ICNP
2005
IEEE
12 years 11 months ago
2005
IEEE
straction of Complex Network Compositionsā Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
