Sciweavers

3780 search results - page 742 / 756
» Algorithms for Game Metrics
Sort
View
ICRA
2002
IEEE
152views Robotics» more  ICRA 2002»
14 years 13 days ago
Mobile Robot Self-Localization in Large-Scale Environments
— This paper presents a new approach for the absolute self-localization of a mobile robot in structured large-scale environments. The requirements with regard to both, the necess...
Axel Lankenau, Thomas Röfer
GECCO
2010
Springer
172views Optimization» more  GECCO 2010»
14 years 9 days ago
Designing better fitness functions for automated program repair
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
Ethan Fast, Claire Le Goues, Stephanie Forrest, We...
SAS
2001
Springer
166views Formal Methods» more  SAS 2001»
13 years 12 months ago
Estimating the Impact of Scalable Pointer Analysis on Optimization
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
Manuvir Das, Ben Liblit, Manuel Fähndrich, Ja...
SIGMOD
1999
ACM
108views Database» more  SIGMOD 1999»
13 years 11 months ago
DynaMat: A Dynamic View Management System for Data Warehouses
Pre-computation and materialization of views with aggregate functions is a common technique in Data Warehouses. Due to the complex structure of the warehouse and the different pro...
Yannis Kotidis, Nick Roussopoulos
SMA
1999
ACM
106views Solid Modeling» more  SMA 1999»
13 years 11 months ago
Resolving non-uniqueness in design feature histories
Nearly all major commercial computer-aided design systems have adopted a feature-based design approach to solid modeling. Models are created via a sequence of operations which app...
Vincent A. Cicirello, William C. Regli