1076 search results - page 63 / 216 » Operations on proofs and labels |
81
Voted
ENTCS
2002
15 years 16 days ago
2002
Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with ch...
68
Voted
IANDC
2002
15 years 15 days ago
2002
We show that the following problem is decidable: given expressions E1 and E2 constructed from variables by the regular operations and shuffle, is the identity E1 = E2 true for all...
120
Voted
ICYCS
2008
IEEE
15 years 7 months ago
2008
IEEE
Most of modern systems for information retrieval, fusion and management have to deal more and more with information expressed quatitatively (by linguistic labels) since human repo...
92
Voted
SP
2008
IEEE
15 years 7 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
143
click to vote
IS
2011
14 years 7 months ago
2011
—It is common for large and complex organizations to maintain repositories of business process models in order to document and to continuously improve their operations. Given suc...