Výsledky vyhledávání - "Computing methodologies Artificial intelligence Search methodologies Game tree search"

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

“…Concolic execution and fuzzing are two complementary coverage-based testing techniques. How to achieve the best of both remains an open challenge. To address…”
Získat plný text

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

“…Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However,…”
Získat plný text

Neuromorphic Monte Carlo Tree Search Methods for Shortest Path Interdiction Autor 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…”
Získat plný text

A Tree Based Router Search Engine Architecture with Single Port Memories Autor 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…”
Získat plný text

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

“…Many emerging large-scale data science applications require searching large graphs distributed across multiple memories and processors. This paper presents a…”
Získat plný text

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

“…A subgraph H of a given graph G is isometric if the distances between every pair of vertices in H are the same as the distances of those vertices in G. We say…”
Získat plný text

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

“…SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical…”
Získat plný text

Multi-feature and DAG-Based Multi-tree Matching Algorithm for Automatic Web Data Mining Autor 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…”
Získat plný text

Multi-Agent Patrolling with Reinforcement Learning Autor 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…”
Získat plný text

Developing a Deterministic Patrolling Strategy for Security Agents Autor 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…”
Získat plný text

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

“…Macro-to-micro (M2M) model is an implementation model that inherits the GrC idea and extends it to some additional highly desirable characteristics. In this…”
Získat plný text

Cluster-Swap: A Distributed K-median Algorithm for Sensor Networks Autor 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…”
Získat plný text

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

Získat plný text

An Autonomy-Oriented Paradigm for Self-Organized Computing Autor 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…”
Získat plný text

On mask layout partitioning for electron projection lithography Autor Tian, Ruiqi, Yu, Ronggang, Tang, Xiaoping, Wong, D. F.

“…Electron projection lithography (EPL) is a leading candidate for next generation lithography (NGL) in VLSI production. The membrane mask used in EPL is divided…”
Získat plný text

Accelerating parallel maximum likelihood-based phylogenetic tree calculations using subtree equality vectors Autor Stamatakis, Alexandros P., Ludwig, Thomas, Meier, Harald, Wolf, Marty J.

“…Heuristics for calculating phylogenetic trees for a large sets of aligned rRNA sequences based on the maximum likelihood method are computationally expensive…”
Získat plný text

Parallel interval-Newton using message passing: dynamic load balancing strategies Autor Gau, Chao-Yang, Stadtherr, Mark A.

“…Branch-and-prune and branch-and-bound techniques are commonly used for intelligent search in finding all solutions, or the optimal solution, within a space of…”
Získat plný text

Efficient adaptive simplification of massive meshes Autor Shaffer, Eric, Garland, Michael

“…The growing availability of massive polygonal models, and the inability of most existing visualization tools to work with such data, has created a pressing…”
Získat plný text

Connectivity shapes Autor Isenburg, Martin, Gumhold, Stefan, Gotsman, Craig

“…We describe a method to visualize the connectivity graph of a mesh using a natural embedding in 3D space. This uses a 3D shape representation that is based…”
Získat plný text

POP: a hybrid point and polygon rendering system for large data Autor Chen, Baoquan, Nguyen, Minh Xuan

“…We introduce a simple but effective extension to the existing pure point rendering systems. Rather than using only points, we use both points and polygons to…”
Získat plný text