432 search results - page 46 / 87 » Neighborhood Preserving Embedding |
121
click to vote
IPPS
2007
IEEE
15 years 6 months 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-...
APAL
2008
14 years 12 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...
JSYML
2011
14 years 6 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...
ICIP
2006
IEEE
16 years 1 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 (...
INFOCOM
2003
IEEE
15 years 5 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...