10870 search results - page 2088 / 2174 » Model Checking Programs |
111
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In experimental psychology, the method of paired comparisons was proposed as a means for ranking preferences amongst n elements of a human subject. The method requires pe...
189
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
The past few decades have witnessed a chronic and widening imbalance among processor bandwidth, disk capacity, and access speed of disk. According to Amdhal's law, the perfor...
104
click to vote
SIGMOD
2004
ACM
16 years 1 months ago
2004
ACM
Ranking is an important property that needs to be fully supported by current relational query engines. Recently, several rank-join query operators have been proposed based on rank...
117
click to vote
MOBIHOC
2002
ACM
16 years 1 months ago
2002
ACM
This paper investigates two fundamental characteristics of a wireless multihop network: its minimum node degree and its k?connectivity. Both topology attributes depend on the spat...
102
click to vote
SODA
2010
ACM
15 years 11 months ago
2010
ACM
Correlation clustering is a type of clustering that uses a basic form of input data: For every pair of data items, the input specifies whether they are similar (belonging to the s...