1517 search results - page 215 / 304 » New Approach To A Class Of Matrices |
155
click to vote
JCSS
2000
15 years 4 months ago
2000
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n1+o(1) time and n1space for an...
105
click to vote
IJHCI
2010
15 years 2 months ago
2010
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
176
click to vote
TCOS
2010
15 years 2 months ago
2010
We present a general framework for computing two-dimensional Voronoi diagrams of different classes of sites under various distance functions. Most diagrams mentioned in the paper ...
154
click to vote
JAIR
2011
14 years 11 months ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
143
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
Image inpainting involves filling in part of an image or video using information from the surrounding area. Applications include the restoration of damaged photographs and movies ...