3384 search results - page 284 / 677 » More Testable Properties |
176
click to vote
MST
2010
15 years 5 months ago
2010
Abstract. We investigate the effect of linear independence in the strategies of congestion games on the convergence time of best improvement sequences and on the pure Price of Anar...
150
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
As digital images have been propagated all over the world, identification techniques for image sources become more important. In this paper, we analyze properties of the scanner a...
147
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
We introduce a simple logic that allows to quantify over the subobjects of a categorical object. We subsequently show that, for the category of graphs, this logic is equally expres...
161
click to vote
ECRTS
2009
IEEE
15 years 4 months ago
2009
IEEE
A recent result in [13] has demonstrated the existence of a sufficient global EDF schedulability test for sporadic task systems that makes the following guarantee: any task system...
162
click to vote
EMNLP
2009
15 years 4 months ago
2009
In this paper we investigate temporal patterns of web search queries. We carry out several evaluations to analyze the properties of temporal profiles of queries, revealing promisi...