Search results for "Search algorithm"

showing 10 items of 73 documents

Why is this an anomaly? Explaining anomalies using sequential explanations

2022

Abstract In most applications, anomaly detection operates in an unsupervised mode by looking for outliers hoping that they are anomalies. Unfortunately, most anomaly detectors do not come with explanations about which features make a detected outlier point anomalous. Therefore, it requires human analysts to manually browse through each detected outlier point’s feature space to obtain the subset of features that will help them determine whether they are genuinely anomalous or not. This paper introduces sequential explanation (SE) methods that sequentially explain to the analyst which features make the detected outlier anomalous. We present two methods for computing SEs called the outlier and…

Computer sciencebusiness.industryFeature vectorPattern recognitionFeature selectionComputingMethodologies_PATTERNRECOGNITIONArtificial IntelligenceSearch algorithmFeature (computer vision)Signal ProcessingOutlierPoint (geometry)Anomaly detectionComputer Vision and Pattern RecognitionArtificial intelligenceAnomaly (physics)businessSoftwarePattern Recognition
researchProduct

Stationary states in quantum walk search

2016

When classically searching a database, having additional correct answers makes the search easier. For a discrete-time quantum walk searching a graph for a marked vertex, however, additional marked vertices can make the search harder by causing the system to approximately begin in a stationary state, so the system fails to evolve. In this paper, we completely characterize the stationary states, or 1-eigenvectors, of the quantum walk search operator for general graphs and configurations of marked vertices by decomposing their amplitudes into uniform and flip states. This infinitely expands the number of known stationary states and gives an optimization procedure to find the stationary state c…

Connected componentPhysicsQuantum PhysicsFOS: Physical sciences01 natural sciencesGraphOracle010305 fluids & plasmasVertex (geometry)CombinatoricsSearch algorithm0103 physical sciencesBipartite graphQuantum walkQuantum Physics (quant-ph)010306 general physicsStationary statePhysical Review A
researchProduct

Exception-Tolerant Hierarchical Knowledge Bases for Forward Model Learning

2021

This article provides an overview of the recently proposed forward model approximation framework for learning games of the general video game artificial intelligence (GVGAI) framework. In contrast to other general game-playing algorithms, the proposed agent model does not need a full description of the game but can learn the game's rules by observing game state transitions. Based on hierarchical knowledge bases, the forward model can be learned and revised during game-play, improving the accuracy of the agent's state predictions over time. This allows the application of simulation-based search algorithms and belief revision techniques to previously unknown settings. We show that the propose…

Context modelComputer sciencebusiness.industryComputingMilieux_PERSONALCOMPUTINGApproximation algorithmContext (language use)Belief revisionKnowledge-based systemsArtificial IntelligenceControl and Systems EngineeringSearch algorithmReinforcement learningArtificial intelligenceElectrical and Electronic EngineeringbusinessVideo gameSoftwareIEEE Transactions on Games
researchProduct

Guidance Trajectories for Spacecraft Rendezvous

2007

In a previous paper of Miele et al. (J. Optim. Theory Appl. 132(1), 2007), we employed the single-subarc sequential gradient-restoration algorithm to optimize the three-dimensional rendezvous between a target spacecraft in a planar circular orbit and a chaser spacecraft with an initial separation distance and separation velocity. The achieved continuous solutions are characterized by two, three, or four subarcs depending on the performance index (time, fuel) and the constraints. In this paper, based on the solutions in Miele et al. (J. Optim. Theory Appl. 132(1), 2007), we employ the multiple-subarc sequential gradient-restoration algorithm to produce pieced guidance trajectories implementa…

Control and OptimizationSpacecraftbusiness.industryApplied MathematicsRendezvousManagement Science and Operations ResearchOptimal controlControl theorySearch algorithmTheory of computationOrbit (dynamics)Circular orbitCalculus of variationsbusinessMathematicsJournal of Optimization Theory and Applications
researchProduct

Multi-Dimensional Pattern Matching with Dimensional Wildcards: Data Structures and Optimal On-Line Search Algorithms

1997

We introduce a new multidimensional pattern matching problem that is a natural generalization of string matching, a well studied problem1. The motivation for its algorithmic study is mainly theoretical. LetA1:n1,?,1:nd be a text matrix withN=n1?ndentries andB1:m1,?,1:mr be a pattern matrix withM=m1?mrentries, whered?r?1 (the matrix entries are taken from an ordered alphabet ?). We study the problem of checking whether somer-dimensional submatrix ofAis equal toB(i.e., adecisionquery).Acan be preprocessed andBis given on-line. We define a new data structure for preprocessingAand propose CRCW-PRAM algorithms that build it inO(logN) time withN2/nmaxprocessors, wherenmax=max(n1,?,nd), such that …

Control and OptimizationSuffix treeBlock matrixWildcard characterString searching algorithmcomputer.file_formatData structurelaw.inventionCombinatoricsComputational MathematicsMatrix (mathematics)Computational Theory and MathematicsSearch algorithmlawPattern matchingcomputerMathematicsJournal of Algorithms
researchProduct

Definition of a Model-Based Detector of Curvilinear Regions

2007

This paper describes a new approach for detection of curvilinear regions. These features detection can be useful for any matching based algorithm such as stereoscopic vision. Our detector is based on curvilinear structure model, defined observing the real world. Then, we propose a multi-scale search algorithm of curvilinear regions and we report some preliminary results.

Curvilinear coordinatesStereopsisMatching (graph theory)Computer sciencebusiness.industrySearch algorithmComputer graphics (images)DetectorComputer visionArtificial intelligenceStructured modelbusinessComputingMethodologies_COMPUTERGRAPHICS
researchProduct

Using Search Algorithms for Modeling Economic Processes

2013

Abstract Economic issues are placed in formal practice, when is desired a modelling of the economic process, a manufacturing process, a device, etc. Each share of that economic process is denoted by a, b, c, d, these actions with defined time periods and action pairs are formed strings of the form, ab * cab * bc ., ab, bb, bc. so for them there are no other restrictions. If the graph is viewed as a system image, nodes representing components, then an immediate interpretation of an arc (xi, xj) are the component xi that is said to directly influence component xj. If nodes have the significance of possible states of a system when a spring (xi.xj) means that, the system can jump from state xi …

Discrete mathematicsComputer scienceGeneral EngineeringEnergy Engineering and Power TechnologyState (functional analysis)Directed graphGraphInterpretation (model theory)AlgorithmSearch algorithmComponent (UML)Economic Process.System imageGraph (abstract data type)Operations managementFinite setModelProcedia Economics and Finance
researchProduct

Grover’s Algorithm with Errors

2013

Grover’s algorithm is a quantum search algorithm solving the unstructured search problem of size n in \(O(\sqrt{n})\) queries, while any classical algorithm needs O(n) queries [3].

Discrete mathematicsDensity matrixComputer Science::Information RetrievalProbability of errorGrover's algorithmMatrix normSearch problemQuantum algorithmQuantum search algorithmComputer Science::DatabasesMathematics
researchProduct

A note on the packing of two copies of some trees into their third power

2003

Abstract It is proved in [1] that if a tree T of order n is not a star, then there exists an edge-disjoint placement of two copies of this tree into its fourth power. In this paper, we prove the packing of some trees into their third power.

Discrete mathematicsPermutationFourth powerApplied MathematicsA* search algorithmlaw.inventionPackingCombinatoricslawOrder (group theory)Tree (set theory)Power treeEmbeddingPlacementMathematicsApplied Mathematics Letters
researchProduct

Quantum walks on two-dimensional grids with multiple marked locations

2015

The running time of a quantum walk search algorithm depends on both the structure of the search space (graph) and the configuration (the placement and the number) of marked locations. While the first dependence has been studied in a number of papers, the second dependence remains mostly unstudied.We study search by quantum walks on the two-dimensional grid using the algorithm of Ambainis, Kempe and Rivosh [3]. The original paper analyses one and two marked locations only. We move beyond two marked locations and study the behaviour of the algorithm for several configurations of multiple marked locations.In this paper, we prove two results showing the importance of how the marked locations ar…

Discrete mathematicsQuantum PhysicsComputer scienceStructure (category theory)FOS: Physical sciences0102 computer and information sciencesSpace (mathematics)01 natural sciencesRunning time010201 computation theory & mathematicsSearch algorithm0103 physical sciencesComputer Science (miscellaneous)Graph (abstract data type)Quantum walk010306 general physicsQuantum Physics (quant-ph)
researchProduct