1416 search results - page 41 / 284 » An Exact Interpretation of While |
LOGCOM
2002
13 years 9 months ago
2002
One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if...
IEEEHPCS
2010
13 years 8 months ago
2010
This paper presents a novel approach to detect and formulate time varying changes in texture content on a sequence of images registered from a scene by using Gabor wavelets repres...
OL
2010
13 years 8 months ago
2010
In an important paper, Burer [2] recently showed how to reformulate general mixed-binary quadratic optimization problems (QPs) into copositive programs where a linear functional i...
AMW
2011
13 years 1 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
WCE
2007
13 years 11 months ago
2007
Abstract—This paper develops an efficient distributed algorithm for localising motes in a large scale sensor network using radio interferometric positioning. The focus here is on...