9871 search results - page 323 / 1975 » On the Structure of Low Sets |
149
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
: Structural queries constitute a special form of content-basedretrieval where the user specifiesa set of spatial constraints among query variables and asks for all configurations ...
178
click to vote
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
166
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
We reconsider the idea of structural symmetry breaking (SSB) for constraint satisfaction problems (CSPs). We show that the dynamic dominance checks used in symmetry breaking by dom...
174
click to vote
CLUSTER
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a distributed object model MOIDE for solving irregularly structured problems on cluster. The primary appeal of MOIDE is its flexible system structure that is a...
162
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...