2834 search results - page 226 / 567 » Representing Trees with Constraints |
163
click to vote
IPPS
2006
IEEE
16 years 17 days 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...
170
click to vote
ICPR
2010
IEEE
16 years 5 days 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...
161
click to vote
NPC
2005
Springer
16 years 1 days 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...
144
click to vote
IPPS
1997
IEEE
15 years 10 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...
170
click to vote
IPCO
2007
15 years 8 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...