2150 search results - page 127 / 430 » On a restricted cross-intersection problem |
154
Voted
CIAC
1997
Springer
15 years 9 months ago
1997
Springer
In this paper, we study the Graph Isomorphism problem on graphs of bounded treewidth, bounded degree or bounded bandwidth. Graph Isomorphism can be solved in polynomial time for g...
137
click to vote
DBPL
1997
Springer
15 years 9 months ago
1997
Springer
We examine the power of incremental evaluation systems that use an SQL-like language for maintaining recursively-de ned views. We show that recursive queries such as transitive clo...
137
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...
172
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of tempora...
165
click to vote
ICDCSW
2007
IEEE
15 years 8 months ago
2007
IEEE
Currently, flexible service compositions are invoked in a centralised manner by process execution engines. Although this approach is widely used for orchestrating web services, it...