搜索结果: 1-13 共查到“计算机科学技术基础学科 Search”相关记录13条 . 查询时间(0.056 秒)
华南理工大学数据结构与算法课件Chapter8 Search。
From Invariant Checking to Invariant Inference Using Randomized Search
Invariant Checking Invariant Inference Randomized Search
2016/5/24
We describe a general framework c2i for generating an invariant inference procedure from an invariant checking procedure. Given a checker and a language of possible invariants, c2i generates an infere...
Trinary-Projection Trees for Approximate Nearest Neighbor Search
Approximate nearest neighbor search KD trees trinary-projection trees
2016/1/23
We address the problem of approximate nearest neighbor (ANN) search for visual descriptor indexing. Most spatial partition trees, such as KD trees, VP trees and so on, follow the hierarchical binary s...
A Web Smart Space Framework for Intelligent Search Engines
Search Engine Preprocessing Natural Language Processing Web Smart Space
2015/7/21
A web smart space is an intelligent environment which has additional capability of searching the information smartly and efficiently. New advancements like dynamic web contents generation has increase...
How Many Steps are Required to Solve the Euler Equations of Steady,Compressible Flow:In Search of a Fast Solution Algorithm
Euler Equations Compressible Flow:Search Fast Solution Algorithm
2015/7/2
New versions of implicit algorithms are proposed for the efficient solution of the Euler equations of com pressible flow. The methods are based on a pre conditioned, Lower-Upper (LU) implem...
Search Using Social Media Structures
forum search social media search social media structures
2014/12/18
Social applications on the Web have appeared as communication spaces for sharing knowledge and information. In particular, social applications can be considered valuable information sources because in...
A Proportionality-based Approach to Search Result Diversification
search result diversification proportionality term level diversification clustering
2014/12/18
Search result diversification addresses the problem of queries with unclear information needs. The aim of using diversification techniques is to find a ranking of documents that covers multiple possib...
Characterizing Search Intent Diversity into Click Models
Click Model Intent Bias Intent Diversity Search Engine User Behavior
2012/11/30
Modeling a user’s click-through behavior in click logs is a challenging task due to the well-known position bias problem. Recent advances in click models have adopted the examination hypothesis which ...
A New Genetic Algorithm Methodology for Design Optimization of Truss Structures: Bipopulation-Based Genetic Algorithm with Enhanced Interval Search
Genetic Algorithm Methodology Truss Structures Bipopulation-Based Genetic Algorithm
2009/9/4
A new genetic algorithm (GA) methodology, Bipopulation-Based Genetic Algorithm with Enhanced Interval Search (BGAwEIS), is introduced and used to optimize the design of truss structures with various c...
Array Pattern Nulling by Phase and Position Perturbations with the Use of a Modified Tabu Search Algorithm
Array Pattern Nulling Phase and Position Perturbations Modified Tabu Search Algorithm
2009/7/28
A useful and flexible method based on the tabu search algorithm for the pattern synthesis of linear antenna arrays with the prescribed nulls is presented. Nulling of the pattern is achieved by control...
Paths Beyond Local Search: A Tight Bound for Randomized Fixed-Point Computation
Local Search:Tight Bound Randomized Fixed-Point Computation
2012/12/3
In 1983, Aldous proved that randomization can speedup local search. For example, it reduces the query complexity of local search over grid [1 : n]d from Θ(nd−1) to O(d1/2nd/2). It remains open w...
Scheduling Algorithms for Input Queued Switches Using Local Search Technique,
Scheduling Algorithms Input Queued Switches Local Search Technique
2010/12/15
Many scalable video coders partition video data into groups of frames (GOF), and encode
each GOF into an independent embedded bitstream. For the robust transmission of
embedded bitstream over packet...