Sciweavers

3040 search results - page 185 / 608
» Independent Natural Extension
Sort
View
CIE
2006
Springer
14 years 2 months ago
Forcing with Random Variables and Proof Complexity
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
Jan Krajícek
FLAIRS
2007
14 years 1 months ago
Improving Cluster Method Quality by Validity Indices
Clustering attempts to discover significant groups present in a data set. It is an unsupervised process. It is difficult to define when a clustering result is acceptable. Thus,...
Narjes Hachani, Habib Ounelli
SIMUTOOLS
2008
14 years 6 days ago
DeSiNe: a flow-level QoS simulator of networks
In this paper we present DeSiNe, a modular flow-level network simulator. DeSiNe is aimed at performance analysis and benchmarking of Quality of Service routing algorithms and traf...
Tom Kleiberg, Bingjie Fu, Fernando A. Kuipers, Pie...
TMC
2008
175views more  TMC 2008»
13 years 10 months ago
An Empirical Study on the Capacity and Performance of 3G Networks
This paper presents the findings of an extensive measurement study on multiple commercial third-generation (3G) networks. We have investigated the performance of those 3G networks ...
Wee Lum Tan, Fung Lam, Wing Cheong Lau
PVLDB
2008
134views more  PVLDB 2008»
13 years 10 months ago
Evita raced: metacompilation for declarative networks
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
Tyson Condie, David Chu, Joseph M. Hellerstein, Pe...