937 search results - page 74 / 188 » On the Complexity of Partial Order Properties |
161
click to vote
DGCI
2008
Springer
15 years 7 months ago
2008
Springer
Fuzzy sets theory constitutes a poweful tool, that can lead to more robustness in problems such as image segmentation and recognition. This robustness results to some extent from t...
143
click to vote
ISTA
2003
15 years 7 months ago
2003
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
168
click to vote
CSDA
2006
15 years 6 months ago
2006
TheexactlikelihoodfunctionofaGaussianvectorautoregressive-movingaverage(VARMA)model is evaluated in two nonstandard cases: (a) a parsimonious structured form, such as obtained in ...
149
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
There is a growing body of work on sorting and selection in models other than the unit-cost comparison model. This work treats a natural stochastic variant of the problem where the...
310
click to vote
NFM
2011
15 years 15 days ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...