1133 search results - page 100 / 227 » Local Logics for Traces |
143
click to vote
ICC
2007
IEEE
16 years 22 days 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...
168
click to vote
IAT
2006
IEEE
16 years 14 days ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
211
click to vote
ICLP
1994
Springer
15 years 10 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
335
click to vote
DIMACS
1996
15 years 7 months ago
1996
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
143
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Whole genome shotgun sequencing produces increasingly higher coverage of a genome with random sequence reads. Progressive whole genome assembly and eventual finishing ...