3238 search results - page 167 / 648 » On the Computational Interpretation of Negation |
169
click to vote
PUC
2008
15 years 6 months ago
2008
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
198
click to vote
IGARSS
2009
15 years 4 months ago
2009
Spectral mixture analysis is an important task for remotely sensed hyperspectral data interpretation. In spectral unmixing, both the determination of spectrally pure signatures (e...
200
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
This paper presents a new adaptive graph-cut based move-making algorithm for energy minimization. Traditional move-making algorithms such as Expansion and Swap operate by searchin...
168
click to vote
CSR
2007
Springer
16 years 21 days ago
2007
Springer
The class TFNP, defined by Megiddo and Papadimitriou, consists of multivalued functions with values that are polynomially verifiable and guaranteed to exist. Do we have evidence ...
176
click to vote
TCS
2011
15 years 1 months ago
2011
We prove that if a set X ⊆ Z2 weakly self-assembles at temperature 1 in a deterministic (Winfree) tile assembly system satisfying a natural condition known as pumpability, then ...