3680 search results - page 80 / 736 » cases 2010 |
167
click to vote
EOR
2007
15 years 6 months ago
2007
The purpose of this paper is to learn the order of criteria of lexicographic decision under various reasonable assumptions. We give a sample evaluation and an oracle based algorit...
179
click to vote
ENTCS
1998
15 years 5 months ago
1998
This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixp...
177
click to vote
TCOM
2010
15 years 25 days ago
2010
The performance of an automatic frequency control (AFC) loop is investigated using two measures, the mean time to loss of lock and the average switching rate. The AFC is considere...
205
click to vote
ENTCS
2002
15 years 6 months ago
2002
We design an efficient algorithm that maximizes the sum of array elements of a subarray of a two-dimensional array. The solution can be used to find the most promising array porti...
168
click to vote
NHM
2010
15 years 27 days ago
2010
This paper deals with various applications of conservation laws on networks. In particular we consider the car traffic, described by the LighthillWhitham-Richards model and by the ...