Search Results - Computing methodologies Artificial intelligence Search methodologies Discrete space search

LEGION: Best-First Concolic Testing by Liu, Dongge, Ernst, Gidon, Murray, Toby, Rubinstein, Benjamin I.P.

“… Legion re-engineers the Monte Carlo tree search (MCTS) framework from the AI literature to treat automated test generation as a problem of sequential decision-making under uncertainty…”
Get full text

Accelerating Decision-Tree-Based Inference Through Adaptive Parallelization by Van Lunteren, Jan

“… They are applied to a broad spectrum of applications as diverse as search engine ranking, credit card fraud detection, customer relationship management, fault diagnosis in machinery, and geological…”
Get full text

Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search by Hartmann, Jakob, He, Guoliang, Yoneki, Eiko

“…The real-world effectiveness of deep neural networks often depends on their latency, thereby necessitating optimization techniques that can reduce a model's…”
Get full text

Adaptive bug isolation by Arumuga Nainar, Piramanayagam, Liblit, Ben

“… We formulate this approach as a search on the control-dependence graph of the program. We present and evaluate various heuristics that can be used for this search…”
Get full text

Neuromorphic Monte Carlo Tree Search Methods for Shortest Path Interdiction by Ho, Yang, Carbajal, Armida, Escamilla, Leonardo, Pinar, Ali

“…Monte Carlo tree search (MCTS) is a commonly used heuristic algorithm to explore extremely large search spaces for decision making in general and for tackling Stackelberg games in particular…”
Get full text

A Tree Based Router Search Engine Architecture with Single Port Memories by Baboescu, Florin, Tullsen, Dean M., Rosu, Grigore, Singh, Sumeet

“…Pipelined forwarding engines are used in core routers to meet speed demands. Tree-based searches are pipelined across a number of stages to achieve high throughput, but this results in unevenly distributed memory…”
Get full text

Quantum Circuit Compilers Using Gate Commutation Rules by Itoko, Toshinari, Raymond, Rudy, Imamichi, Takashi, Matsuo, Atsushi, Cross, Andrew W.

“…The use of noisy intermediate-scale quantum computers (NISQCs), which consist of dozens of noisy qubits with limited coupling constraints, has been increasing…”
Get full text

An Evolutionary Framework for Analyzing the Distance Preserving Property of Weighted Graphs by Zahedi, Emad, Mirmomeni, Masoud, Esfahanian, Abdol-Hossein

“… Here, we propose a biologically-inspired search algorithm to address the problem of finding isometric subgraphs that consequently determines if a given graph is distance preserving…”
Get full text

A Scalable Distributed Parallel Breadth-First Search Algorithm on BlueGene/L by Yoo, Andy, Chow, Edmond, Henderson, Keith, McLendon, William, Hendrickson, Bruce, Catalyurek, Umit

“… This paper presents a distributed breadth- first search (BFS) scheme that scales for random graphs with up to three billion vertices and 30 billion edges…”
Get full text

Efficient SAT solving: beyond supercubes by Babić, Domagoj, Bingham, Jesse, Hu, Alan J.

“… Recently, Goldberg et al introduced supercubing, a different approach to search-space pruning, based on a theory that unifies many existing methods…”
Get full text

Multi-feature and DAG-Based Multi-tree Matching Algorithm for Automatic Web Data Mining by Shengsheng Shi, Chengfei Liu, Chunfeng Yuan, Yihua Huang

“…Web data extraction has received considerable attention and study in recent decades. To improve efficiency, many automatic Web data record mining approaches…”
Get full text

Multi-Agent Patrolling with Reinforcement Learning by Santana, Hugo, Ramalho, Geber, Corruble, Vincent, Ratitch, Bohdana

“…Patrolling tasks can be encountered in a variety of real-world domains, ranging from computer network administration and surveillance to computer wargame…”
Get full text

Developing a Deterministic Patrolling Strategy for Security Agents by Basilico, Nicola, Gatti, Nicola, Amigoni, Francesco

“…Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect…”
Get full text

An Autonomy-Oriented Paradigm for Self-Organized Computing by Liu, Jiming, Gao, Chao, Zhong, Ning

“…A bottom-up computing paradigm, namely Autonomy-Oriented Computing (AOC), offers some principles and mechanisms for non-linearly solving computationally hard problems…”
Get full text

A Theoretical Analysis of Multi-Agent Patrolling Strategies by Chevaleyre, Yann, Sempe, Francois, Ramalho, Geber

Get full text

Cluster-Swap: A Distributed K-median Algorithm for Sensor Networks by Kim, Yoonheui, Lesser, Victor, Ganesan, Deepak, Sitaraman, Ramesh

“…In building practical sensor networks, it is often beneficial to use only a subset of sensors to take measurements because of computational, communication, and…”
Get full text

The M2M Pathfinding Algorithm Based on the Idea of Granular Computing by Wan, Haifeng, Zhang, Yingpeng, Luo, Shengzhou, Liu, Ruijie, Ye, Wensheng

“…) bit memory space and can be updated in O(1) expected time to handle changes. Although the resulting path is not always the shortest one, it can make a trade-off…”
Get full text

Code Difference Guided Adversarial Example Generation for Deep Code Models by Tian, Zhao, Chen, Junjie, Jin, Zhi

“… Moreover, the adversarial example generation techniques specific to deep code models still suffer from unsatisfactory effectiveness due to the enormous ingredient search space…”
Get full text

Parallel multiple sequence alignment with local phylogeny search by simulated annealing by Zola, Jaroslaw, Trystram, Denis, Tchernykh, Andrei, Brizuela, Carlos

“…The problem of multiple sequence alignment is one of the most important problems in computational biology. In this paper we present a new method that…”
Get full text

PertNAS: Architectural Perturbations for Memory-Efficient Neural Architecture Search by Ahmad, Afzal, Xie, Zhiyao, Zhang, Wei

“… In this way, it extracts high-quality motifs from the search space. We utilize these perturbations to perform NAS in compact models evolving over time to traverse the search space…”
Get full text