741 search results - page 63 / 149 » A Local System for Classical Logic |
167
Voted
LOGCOM
2008
15 years 5 months ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
131
Voted
ICC
2007
IEEE
15 years 12 months ago
2007
IEEE
—In this paper, we propose a novel vertical handoff decision algorithm for overlay wireless networks consisting of cellular and wireless local area networks (WLANs). The target n...
164
click to vote
WDAG
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
150
click to vote
SRDS
2007
IEEE
15 years 12 months ago
2007
IEEE
Constructing logical machines out of collections of physical machines is a well-known technique for improving the robustness and fault tolerance of distributed systems. We present...
121
Voted
IAAI
2001
15 years 7 months ago
2001
This paper presents a multi-domain information extraction system. The overall architecture of the system is detailed. A set of machine learning tools helps the expert to explore t...