Sciweavers

16082 search results - page 2879 / 3217
» Fireworks Algorithm for Optimization
Sort
View
161
Voted
CIKM
2001
Springer
15 years 11 months ago
Relevance Score Normalization for Metasearch
Given the ranked lists of documents returned by multiple search engines in response to a given query, the problem of metasearch is to combine these lists in a way which optimizes ...
Mark H. Montague, Javed A. Aslam
ECOOP
2001
Springer
15 years 11 months ago
Precise Constraint-Based Type Inference for Java
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
Tiejun Wang, Scott F. Smith
FCT
2001
Springer
15 years 11 months ago
Best Increments for the Average Case of Shellsort
This paper presents the results of using sequential analysis to find increment sequences that minimize the average running time of Shellsort, for array sizes up to several thousan...
Marcin Ciura
184
Voted
SIGGRAPH
2010
ACM
15 years 11 months ago
Feature-based locomotion controllers
This paper introduces an approach to control of physics-based characters based on high-level features of movement, such as centerof-mass, angular momentum, and end-effectors. Obje...
Martin de Lasa, Igor Mordatch, Aaron Hertzmann
172
Voted
ICSE
2001
IEEE-ACM
15 years 11 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
« Prev « First page 2879 / 3217 Last » Next »