968 search results - page 31 / 194 » A faster implementation of APlace |
123
click to vote
SOCIALCOM
2010
14 years 11 months ago
2010
The huge size of online social networks (OSNs) makes it prohibitively expensive to precisely measure any properties which require the knowledge of the entire graph. To estimate the...
128
Voted
ERSA
2009
14 years 11 months ago
2009
An effective way to implement image processing applications is to use embedded processors with dynamically reconfigurable accelerator cores. The processing speed of these processor...
137
click to vote
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
136
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
We present the design and implementation of new inexact Newton type Bundle Adjustment algorithms that exploit hardware parallelism for efficiently solving large scale 3D scene re...
118
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...