Did you mean: research

search result

Cover von How to Improve Joint Suitability Mapping for Search Space Reduction? (Short Paper)

How to Improve Joint Suitability Mapping for Search Space Reduction? (Short Paper)

Year: 2023
Media group: LIPIcs
Cover von On the Complexity of Parameterized Local Search for the Maximum Parsimony Problem

On the Complexity of Parameterized Local Search for the Maximum Parsimony Problem

Year: 2023
Media group: LIPIcs
Cover von Labeled Nearest Neighbor Search and Metric Spanners via Locality Sensitive Orderings

Labeled Nearest Neighbor Search and Metric Spanners via Locality Sensitive Orderings

Year: 2023
Media group: LIPIcs
Cover von A connectionist approach for learning search-control heuristics for automated deduction systems
Author: Goller, Christoph Search for this author
Year: 1999
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 206
Media group: DISSERTATION
Cover von Learning first-order concept definitions by using a bidirectional heuristic search strategy
Author: Wiese, Markus Search for this author
Year: 1998
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 187
Media group: DISSERTATION
Cover von Parallelization of search-based systems by static partitioning with slackness
Author: Suttner, Christian B. Search for this author
Year: 1995
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 101
Media group: DISSERTATION
Cover von A Local Search Algorithm for the Min-Sum Submodular Cover Problem

A Local Search Algorithm for the Min-Sum Submodular Cover Problem

Year: 2022
Media group: LIPIcs
Cover von Constant-Factor Approximation Algorithm for Binary Search in Trees with Monotonic Query Times

Constant-Factor Approximation Algorithm for Binary Search in Trees with Monotonic Query Times

Year: 2022
Media group: LIPIcs
Cover von Improved Approximation Algorithms and Lower Bounds for Search-Diversification Problems

Improved Approximation Algorithms and Lower Bounds for Search-Diversification Problems

Year: 2022
Media group: LIPIcs
Cover von Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains

Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0