4137 search results - page 352 / 828 » On the number of matchings of a tree |
181
click to vote
ICMCS
2006
IEEE
16 years 28 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...
167
click to vote
CAV
2005
Springer
16 years 13 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...
190
click to vote
PAKDD
2005
ACM
16 years 11 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 ...
180
click to vote
VLDB
2005
ACM
16 years 11 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...
155
click to vote
CG
2004
Springer
16 years 8 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...