2354 search results - page 234 / 471 » Radio number for trees |
177
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
We study peer-to-peer multicast streaming, where a source distributes real-time video to a large population of hosts by making use of their forwarding capacity rather than relying...
159
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
179
click to vote
PAKDD
2005
ACM
16 years 3 days ago
2005
ACM
Abstract. In this paper we present a novel and general framework based on concepts of relational algebra for kernel-based learning over relational schema. We exploit the notion of ...
170
click to vote
VLDB
2005
ACM
16 years 3 days ago
2005
ACM
With the increasing occurrence of temporal and spatial data in present-day database applications, the interval data type is adopted by more and more database systems. For an effic...
150
click to vote
CG
2004
Springer
16 years 1 days ago
2004
Springer
In this paper a new method is described for move ordering, called the relative history heuristic. It is a combination of the history heuristic and the butterfly heuristic. Instead...