1757 search results - page 120 / 352 » Alternating Refinement Relations |
111
click to vote
ANOR
2007
15 years 3 months ago
2007
We present a new implementation of a widely used swap-based local search procedure for the p-median problem, proposed in 1968 by Teitz and Bart. Our method produces the same outpu...
132
click to vote
CCE
2008
15 years 3 months ago
2008
A central problem in bioinformatics and systems biology is the selection of appropriate models in a rational and systematic way. This fundamentally combinatorial problem can be re...
103
click to vote
DM
2008
15 years 3 months ago
2008
The core of a game v on N, which is the set of additive games dominating v such that (N) = v(N), is a central notion in cooperative game theory, decision making and in combinator...
121
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
111
click to vote
ACS
2005
15 years 3 months ago
2005
We develop a symmetric analog of brace algebras and discuss the relation of such algebras to L-algebras. We give an alternate proof that the category of symmetric brace algebras is...