Did you mean: research

search result

Cover von On Dynamic Breadth-First Search in External-Memory

On Dynamic Breadth-First Search in External-Memory

Year: 2008
Media group: ARTICLE
Cover von A piecewise linearization for retail shelf space allocation problem and a local search heuristic

A piecewise linearization for retail shelf space allocation problem and a local search heuristic

article
Author: Gajjar, Hasmukh K.; Adil, Gajendra K.
Year: 2010
Media group: ARTICLE
Cover von Space-Efficient Private Search with Applications to Rateless Codes
article in LNCS 4886 : S. 148-162
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science : 4886; S. 148-162
Media group: ARTICLE
Cover von An effective two-level proof-number search algorithm

An effective two-level proof-number search algorithm

article
Year: 2004
Media group: ARTICLE
Cover von Search engines, link analysis, and user's web behavior
a unifying web mining approach
Author: Meghabghab, George; Kandel, Abraham Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Studies in computational intelligence; 99
Media group: MONOGRAPHIE
Cover von Approximability of cycle covers and smoothed analysis of binary search trees
Author: Manthey, Bodo Search for this author
Year: 2005
Publisher: Lübeck, Univ.
Media group: DISSERTATION
Cover von Multi-image search, filtering, reasoning and visualisation
12.03. - 17.03.00, Seminar Nr. 00111
Search for this author
Year: 2000
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 268
Media group: DAGSTUHL-SEMINAR-REP
Cover von Where to Place Your TEE? In Search of a Censorship-Resilient Design for Rollup Sequencers

Where to Place Your TEE? In Search of a Censorship-Resilient Design for Rollup Sequencers

Year: 2026
Media group: LIPIcs
Cover von Accelerating Reductions Using Graph Neural Networks and a New Concurrent Local Search for the Maximum Weight Independent Set Problem
Search for this author
Year: 2025
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk)

A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk)

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0