3229 search results - page 148 / 646 » Theories with the Independence Property |
99
Voted
STOC
2002
ACM
16 years 1 months ago
2002
ACM
Two infinite walks on the same finite graph are called compatible if it is possible to introduce delays into them in such a way that they never collide. Years ago, Peter Winkler a...
108
Voted
ISIPTA
2003
IEEE
15 years 6 months ago
2003
IEEE
Dempster’s rule for combining two belief functions assumes the independence of the sources of information. If this assumption is questionable, I suggest to use the least speci�...
78
Voted
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Although it is known from GA literature that proportionate selection is subject to many pitfalls, the LCS community somewhat adhered to proportionate selection. Also in t...
97
Voted
TSP
2008
15 years 21 days ago
2008
We introduce a framework based on Wirtinger calculus for nonlinear complex-valued signal processing such that all computations can be directly carried out in the complex domain. Th...
112
Voted
ASE
2004
15 years 20 days ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...