1138 search results - page 3 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
FAW
2008
Springer
15 years 1 months ago
2008
Springer
We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...
115
Voted
MP
2008
14 years 11 months ago
2008
Stochastic dominance relations are well-studied in statistics, decision theory and economics. Recently, there has been significant interest in introducing dominance relations into...
111
click to vote
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
86
Voted
IJIT
2004
15 years 1 months ago
2004
-- This paper proposes a novel improvement of forecasting approach based on using time-invariant fuzzy time series. In contrast to traditional forecasting methods, fuzzy time serie...
124
click to vote
AAAI
2011
13 years 11 months ago
2011
Coarse-to-fine approaches use sequences of increasingly fine approximations to control the complexity of inference and learning. These techniques are often used in NLP and visio...