953 search results - page 92 / 191 » A note on the paper |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the se...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--The paper studies the problem of distributed transmit beamforming with autonomous and self-organizing mobile antennas. The objective is to design a distributed algorithm ...
FAST
2009
13 years 5 months ago
2009
Some tasks in a dataspace (a loose collection of heterogeneous data sources) require integration of fine-grained data from diverse sources. This work is often done by end users kn...
TOCL
2011
13 years 2 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
Reading is increasingly being performed interactively on-screen; for instance, new novels are now routinely released in electronic format for viewing on PCs and mobile devices. Un...