2834 search results - page 226 / 567 » Representing Trees with Constraints |
112
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
108
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
We propose to use energy minimization in MRFs for matching-based image recognition tasks. To this end, the Tree-Reweighted Message Passing algorithm is modified by geometric cons...
NPC
2005
Springer
15 years 6 months ago
2005
Springer
One major factor that heavily affects the performance of a content distribution network (CDN) is placement of the surrogates. Previous works take a network-centric approach and con...
IPPS
1997
IEEE
15 years 5 months ago
1997
IEEE
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...
99
Voted
IPCO
2007
15 years 2 months ago
2007
A conic integer program is an integer programming problem with conic constraints. Conic integer programming has important applications in finance, engineering, statistical learnin...