1523 search results - page 137 / 305 » Partially ordered secretaries |
CIE
2010
Springer
15 years 2 months ago
2010
Springer
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
108
click to vote
FORTE
1997
15 years 2 months ago
1997
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between the...
117
Voted
NIPS
1994
15 years 2 months ago
1994
Reinforcement learning addresses the problem of learning to select actions in order to maximize one's performance inunknownenvironments. Toscale reinforcement learning to com...
90
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
Distributed storage systems often introduce redundancy to increase reliability. When coding is used, the repair problem arises: if a node storing encoded information fails, in orde...
114
Voted
CONSTRAINTS
2008
15 years 27 days ago
2008
The tree constraint partitions a directed graph into node-disjoint trees. In many practical applications that involve such a partition, there exist side constraints specifying requ...