851 search results - page 50 / 171 » Inaccessibility in Decision Procedures |
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper investigates how to characterize the effect of multiple spectrum handoff delay on the extended data delivery time of the secondary users' connections in cognitive r...
LICS
2002
IEEE
15 years 3 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
83
Voted
CADE
2003
Springer
15 years 11 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
75
Voted
IJCAI
1997
15 years 7 days ago
1997
Windowing has been proposed as a procedure for efficient memory use in the ID3 decision tree learning algorithm. However, it was shown that it may often lead to a decrease in perf...
93
Voted
ATAL
2009
Springer
15 years 2 months ago
2009
Springer
The goal of this paper is to explore the effects of synchronization on distributed decision making processes. In particular, we examine the dynamics of a spatially distributed mul...