4192 search results - page 745 / 839 » Probabilistic Logic Programming |
204
Voted
CADE
2011
Springer
14 years 7 days 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
WWW
2008
ACM
16 years 28 days ago
2008
ACM
Inferring an appropriate DTD or XML Schema Definition (XSD) for a given collection of XML documents essentially reduces to learning deterministic regular expressions from sets of ...
167
click to vote
SIGMOD
2006
ACM
16 years 12 days ago
2006
ACM
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
— In this paper, we present a high-level power model to estimate the power consumption in semi-global and global interconnects. Such interconnects are used for communications bet...
101
Voted
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a novel methodology for design space exploration using a two-steps scheme to optimize the number of virtual channel buffers (buffers take the premier share of the route...