933 search results - page 135 / 187 » Extending Forward Checking |
128
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
All existing proposals for querying XML (e.g., XQuery) rely on a pattern-specification language that allows (1) path navigation and branching through the label structure of the XM...
121
click to vote
PE
2007
Springer
15 years 1 months ago
2007
Springer
File swarming (or file sharing) is one of the most important applications in P2P networks. In this paper, we propose a stochastic framework to analyze a file swarming system und...
133
click to vote
SAGT
2010
Springer
15 years 26 days ago
2010
Springer
We investigate the computational aspects of safe manipulation, a new model of coalitional manipulation that was recently put forward by Slinko and White [11]. In this model, a pot...
126
click to vote
SPIN
2010
Springer
15 years 25 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
149
click to vote
WIOPT
2010
IEEE
15 years 24 days ago
2010
IEEE
—The nodes in wireless sensor networks often collect correlated measurements. Not taking into account this information redundancy is detrimental to the network lifetime, since co...