2362 search results - page 242 / 473 » Programming in Standard ML |
138
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
We present a novel dual decomposition approach to MAP inference with highly connected discrete graphical models. Decompositions into cyclic k-fan structured subproblems are shown t...
139
click to vote
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
118
click to vote
WCRE
2000
IEEE
15 years 9 months ago
2000
IEEE
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
124
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
jmpi is a 100% Java-based implementation of the Message-Passing Interface (MPI-1) standard. jmpi comes with an efficient and effective MPI implementation in Java and supports a us...
157
click to vote
ICCAD
1992
IEEE
15 years 8 months ago
1992
IEEE
In this paper we describe combining a mesh analysis equation formulation technique with a preconditioned GORES matrix solution algorithm to accelerate the determination of inducta...