Sciweavers

441 search results - page 44 / 89
» Benchmarking Technique in E-Business Using the Galileo Metho...
Sort
View
IROS
2009
IEEE
151views Robotics» more  IROS 2009»
15 years 6 months ago
A comparison of SLAM algorithms based on a graph of relations
— In this paper, we address the problem of creating an objective benchmark for comparing SLAM approaches. We propose a framework for analyzing the results of SLAM approaches base...
Wolfram Burgard, Cyrill Stachniss, Giorgio Grisett...
FPGA
1998
ACM
146views FPGA» more  FPGA 1998»
15 years 4 months ago
Boolean Matching for Complex PLBs in LUT-based FPGAs with Application to Architecture Evaluation
In this paper, we developed Boolean matching techniques for complex programmable logic blocks (PLBs) in LUT-based FPGAs. A complex PLB can not only be used as a K-input LUT, but a...
Jason Cong, Yean-Yow Hwang
CEC
2005
IEEE
15 years 5 months ago
A hybrid approach to parameter tuning in genetic algorithms
Abstract- Choosing the best parameter setting is a wellknown important and challenging task in Evolutionary Algorithms (EAs). As one of the earliest parameter tuning techniques, th...
Bo Yuan, Marcus Gallagher
SIGIR
2005
ACM
15 years 5 months ago
Measure-based metasearch
We propose a simple method for converting many standard measures of retrieval performance into metasearch algorithms. Our focus is both on the analysis of retrieval measures thems...
Javed A. Aslam, Virgiliu Pavlu, Emine Yilmaz
FM
2003
Springer
174views Formal Methods» more  FM 2003»
15 years 5 months ago
Model-Checking TRIO Specifications in SPIN
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
Angelo Morzenti, Matteo Pradella, Pierluigi San Pi...