3495 search results - page 127 / 699 » On the random satisfiable process |
122
click to vote
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
To support secure exchanging and sharing of XML data over the Internet, a myriad of XML access control mechanisms have been proposed. In the setting of node-level fine-grained acc...
140
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
127
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
Highly scalable video compression based on invertible motion adaptive lifting transforms has emerged as a promising area in image processing research and an important component in...
135
click to vote
CIE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
156
click to vote
ALGORITHMICA
2010
15 years 4 months ago
2010
We study the merging process when Kruskal's algorithm is run with random graphs as inputs. Our aim is to analyze this process when the underlying graph is the complete graph ...