7092 search results - page 596 / 1419 » Parallelizing constraint programs |
186
click to vote
TACAS
2012
Springer
14 years 18 days ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
284
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
143
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Dynamic programming (DP) has been a useful tool for a variety of computer vision problems. However its application is usually limited to problems with a one dimensional or low tre...
153
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
Recent advancement in peer-to-peer (P2P) technologies has enabled a wide range of new applications. In this paper, we present mixed integer programming (MIP) formulations to analy...
155
Voted
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...