6020 search results - page 154 / 1204 » A New Approach to Model Counting |
142
click to vote
IJCAI
2007
15 years 5 months ago
2007
Statistical relational learning (SRL) algorithms learn statistical models from relational data, such as that stored in a relational database. We previously introduced view learnin...
115
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
Image registration algorithms provide a displacement field between two images. We consider the problem of estimating accuracy of the calculated displacement field from the input i...
148
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
As the Web platform continues to mature, we see an increasing number of amazing technologies that take Geographic Information Systems (GIS) visualization applications to new level...
140
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
- This paper proposes a fast and practical decoupling capacitor (decap) budgeting algorithm to optimize the power ground (P/G) network design. The new method adopts a modified rand...
171
click to vote
EAGC
2003
Springer
15 years 9 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...