1523 search results - page 84 / 305 » Partially ordered secretaries |
131
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
165
Voted
IANDC
2008
15 years 5 months ago
2008
The problem of computing periods in words, or finite sequences of symbols from a finite alphabet, has important applications in several areas including data compression, string se...
114
click to vote
SIAMMA
2010
14 years 12 months ago
2010
In this paper we study the interior transmission problem and transmission eigenvalues for multiplicative perturbations of linear partial differential operator of order 2 with cons...
243
click to vote
ORL
2011
14 years 11 months ago
2011
We derive a convex relaxation for cardinality constrained Principal Component Analysis (PCA) by using a simple representation of the L1 unit ball and standard Lagrangian duality. ...
131
click to vote
BIRTHDAY
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...