1108 search results - page 171 / 222 » Algorithm Transformation for FPGA Implementation |
128
click to vote
ICRA
2010
IEEE
15 years 8 days ago
2010
IEEE
Abstract— The problem of place recognition appears in different mobile robot navigation problems including localization, SLAM, or change detection in dynamic environments. Wherea...
135
click to vote
PVLDB
2008
15 years 7 days ago
2008
Data exchange is the process of converting an instance of one schema into an instance of a different schema according to a given specification. Recent data exchange systems have l...
129
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
123
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
107
Voted
CPM
1999
Springer
15 years 6 months ago
1999
Springer
This paper examines some of the rich structure of the syntenic distance model of evolutionary distance, introduced by Ferretti et al. (1996). The syntenic distance between two gen...