432 search results - page 46 / 87 » Neighborhood Preserving Embedding |
198
click to vote
IPPS
2007
IEEE
16 years 20 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
147
click to vote
APAL
2008
15 years 6 months ago
2008
This paper proves strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. By them, this paper...
124
click to vote
JSYML
2011
15 years 1 months ago
2011
We prove that for every Σ0 2 enumeration degree b there exists a noncuppable Σ0 2 degree a > 0e such that b ≤e a and a ≤e b . This allows us to deduce, from results on the...
186
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper presents a differential optical flow method which accounts for two typical motion-estimation problems : (1) flow regularization within regions of uniform motion while (...
152
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— In the minimum energy broadcasting problem, each node can adjust its transmission power in order to minimize total energy consumption but still enable a message originated from...