253 search results - page 24 / 51 » Conditional Symmetry Breaking |
JOT
2007
14 years 9 months ago
2007
The Observer-Conditioned-Observable (OCO) combines digitizing and transcoding of numeric change events. During the processing of numeric events, the transcoder converts the number...
AMC
2007
14 years 9 months ago
2007
In the work, we rebuild the masks of well-known interpolatory symmetric subdivision schemes-binary 2n-point interpolatory schemes, the ternary 4-point interpolatory scheme using o...
71
Voted
EOR
2008
14 years 9 months ago
2008
In this paper we prove the existence and uniqueness of a solution concept for n-person games with fuzzy coalitions, which we call the Shapley mapping. The Shapley mapping, when it...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
91
Voted
CONSTRAINTS
2011
14 years 4 months ago
2011
The Steel Mill Slab Problem is an optimization benchmark that has been studied for a long time in the constraint-programming community but was only solved efficiently in the two l...