1264 search results - page 158 / 253 » The framework approach for constraint satisfaction |
149
click to vote
IRI
2008
IEEE
16 years 24 days ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
168
click to vote
DATE
2007
IEEE
16 years 22 days ago
2007
IEEE
1 The increasing test data volume needed to test core-based System-on-Chip contributes to long test application times (TAT) and huge automatic test equipment (ATE) memory requireme...
162
click to vote
CP
2007
Springer
16 years 17 days ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
166
click to vote
ICPR
2010
IEEE
16 years 1 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...
152
click to vote
IJCAI
1993
15 years 7 months ago
1993
This paper introduces GSSS (Genetic State-Space Search). The integration of two general search paradigms — genetic search and state-space-search provides a general framework whi...