295 search results - page 6 / 59 » Simultaneous Quantifier Elimination |
FUIN
2010
13 years 6 months ago
2010
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper, we consider the problem of quantifying synchrony between multiple simultaneously recorded electroencephalographic signals. These signals exhibit nonlinear dependenc...
RTA
1998
Springer
14 years 25 days ago
1998
Springer
We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the fragment of i...
COMSWARE
2008
IEEE
14 years 3 months ago
2008
IEEE
—Presence technology is going to be an integral part of the next generation of communication technology. It can eliminate telephone tag between two parties (caller and callee), w...