510 search results - page 11 / 102 » An Algebraic Framework for Urgency |
109
click to vote
ENTCS
2007
15 years 1 months ago
2007
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...
110
click to vote
ECBS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
135
click to vote
SIGMOD
1993
ACM
15 years 6 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
107
click to vote
CONSTRAINTS
2010
14 years 11 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
115
click to vote
IJCINI
2007
15 years 1 months ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...