1711 search results - page 140 / 343 » Completing pseudojump operators |
ISBI
2002
IEEE
14 years 8 months ago
2002
IEEE
Conventional radiography seeks to produce, at each location in the image plane, a measure of the x-ray absorption of the object. In this paper, we present a method of determining ...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Recent work on incremental crawling has enabled the indexed document collection of a search engine to be more synchronized with the changing World Wide Web. However, this synchron...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
CCS
2009
ACM
14 years 8 months ago
2009
ACM
This paper proposes a D-algebra to compose decisions from multiple access control policies. Compared to other algebrabased approaches aimed at policy composition, D-algebra is the...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...