1022 search results - page 197 / 205 » Relators and Metric Bisimulations |
166
click to vote
COCOA
2008
Springer
15 years 7 months ago
2008
Springer
In a finite simple undirected graph, a vertex is simplicial if its neighborhood is a clique. We say that, for k 2, a graph G = (VG, EG) is the k-simplicial power of a graph H = (V...
192
click to vote
NIPS
2007
15 years 7 months ago
2007
Large repositories of source code create new challenges and opportunities for statistical machine learning. Here we first develop Sourcerer, an infrastructure for the automated c...
175
click to vote
IADIS
2003
15 years 7 months ago
2003
Systems consisting of multiple proxy servers are a popular solution to deal with performance and network resource utilization problems related to the growth of the Web numbers. Af...
175
click to vote
WSC
2004
15 years 7 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
192
click to vote
TREC
2003
15 years 7 months ago
2003
The TREC 2003 question answering track contained two tasks, the passages task and the main task. In the passages task, systems returned a single text snippet in response to factoi...