Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (535)
- Artificial Intelligence and Robotics (489)
- Databases and Information Systems (355)
- Numerical Analysis and Scientific Computing (217)
- Software Engineering (204)
-
- Electrical and Computer Engineering (202)
- Computer Engineering (200)
- Other Computer Sciences (191)
- Mathematics (178)
- Social and Behavioral Sciences (155)
- Data Science (150)
- Information Security (136)
- Graphics and Human Computer Interfaces (134)
- OS and Networks (124)
- Medicine and Health Sciences (110)
- Systems Architecture (108)
- Applied Mathematics (103)
- Programming Languages and Compilers (102)
- Operations Research, Systems Engineering and Industrial Engineering (95)
- Statistics and Probability (87)
- Life Sciences (80)
- Physics (74)
- Digital Communications and Networking (63)
- Business (60)
- Discrete Mathematics and Combinatorics (59)
- Public Affairs, Public Policy and Public Administration (52)
- Computer and Systems Architecture (51)
- Institution
-
- Singapore Management University (513)
- Old Dominion University (324)
- Air Force Institute of Technology (95)
- University of Dayton (60)
- University of Nevada, Las Vegas (53)
-
- City University of New York (CUNY) (51)
- Portland State University (48)
- California Polytechnic State University, San Luis Obispo (44)
- University of Arkansas, Fayetteville (40)
- Claremont Colleges (30)
- Southern Methodist University (29)
- University of Nebraska - Lincoln (28)
- Loyola University Chicago (26)
- University of Kentucky (26)
- Dartmouth College (23)
- San Jose State University (23)
- Technological University Dublin (19)
- Virginia Commonwealth University (19)
- California State University, San Bernardino (18)
- University of Denver (18)
- University of Malaya (18)
- University of New Mexico (17)
- Edith Cowan University (16)
- Purdue University (16)
- East Tennessee State University (15)
- Georgia Southern University (15)
- Rose-Hulman Institute of Technology (15)
- University of Nebraska at Omaha (15)
- Chapman University (14)
- Institute of Business Administration (14)
- Keyword
-
- Algorithms (150)
- Machine learning (100)
- Artificial intelligence (47)
- Machine Learning (45)
- Algorithm (44)
-
- Deep learning (37)
- Classification (34)
- Computer algorithms (31)
- Image processing (30)
- Genetic algorithms (29)
- Graph theory (29)
- Optimization (29)
- Clustering (27)
- Computer science (27)
- Computer Science (25)
- Neural networks (23)
- Reinforcement learning (23)
- Artificial Intelligence (22)
- Simulation (19)
- Cryptography (18)
- Deep Learning (18)
- Genetic algorithm (18)
- Computational complexity (17)
- Computer vision (17)
- Data mining (17)
- Online learning (16)
- Accuracy (13)
- Big data (13)
- Feature selection (13)
- Graph (12)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (493)
- Theses and Dissertations (122)
- Electrical & Computer Engineering Theses & Dissertations (81)
- Computer Science Faculty Publications (79)
- Electrical & Computer Engineering Faculty Publications (49)
-
- Electronic Theses and Dissertations (33)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (30)
- Master's Theses (28)
- Computer Science: Faculty Publications and Other Works (25)
- Dissertations, Theses, and Capstone Projects (22)
- Theses and Dissertations--Computer Science (21)
- Dissertations (20)
- Publications and Research (20)
- Computer Science and Computer Engineering Undergraduate Honors Theses (19)
- Computer Science Theses & Dissertations (17)
- Graduate Theses and Dissertations (17)
- SMU Data Science Review (17)
- Honors Theses (16)
- Faculty Publications (15)
- VMASC Publications (15)
- Computer Science Faculty Publications and Presentations (14)
- Dissertations and Theses (14)
- International Conference on Information and Communication Technologies (14)
- Mathematical Sciences Technical Reports (MSTR) (14)
- Engineering Management & Systems Engineering Faculty Publications (13)
- Mathematics & Statistics Faculty Publications (13)
- LSU New Orleans Theses and Dissertations (12)
- MAICS: The Modern Artificial Intelligence and Cognitive Science Conference (12)
- Master's Projects (12)
- Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal (11)
- Publication Type
- File Type
Articles 2011 - 2040 of 2159
Full-Text Articles in Theory and Algorithms
Predictive Adaptive Resonance Theory And Knowledge Discovery In Databases, Ah-Hwee Tan, Hui-Shin Vivien Soon
Predictive Adaptive Resonance Theory And Knowledge Discovery In Databases, Ah-Hwee Tan, Hui-Shin Vivien Soon
Research Collection School Of Computing and Information Systems
This paper investigates the scalability of predictive Adaptive Resonance Theory (ART) networks for knowledge discovery in very large databases. Although predictive ART performs fast and incremental learning, the number of recognition categories or rules that it creates during learning may become substantially large and cause the learning speed to slow down. To tackle this problem, we introduce an on-line algorithm for evaluating and pruning categories during learning. Benchmark experiments on a large scale data set show that on-line pruning has been effective in reducing the number of the recognition categories and the time for convergence. Interestingly, the pruned networks also …
Stochastic Modeling-Based Dgps Estimation Algorithm, James T. Broaddus
Stochastic Modeling-Based Dgps Estimation Algorithm, James T. Broaddus
Theses and Dissertations
A Kinematic Differential Global Positioning System (KDGPS) algorithm is developed. A number of mobile receivers is considered, one of which will be designated the reference station' which will have known position and velocity information at the beginning of the time interval examined. Satellite clock biases are used to model Selective Availability. The measurement situation on hand is properly modeled and a centralized estimation algorithm processing several epochs of data. The effect of uncertainty in the reference receiver's position and the level of receiver noise is examined. Monte Carlo simulations are performed to examine the ability of the algorithm to correctly …
Global Positioning System (Gps) Error Source Prediction, Marcus G. Ferguson
Global Positioning System (Gps) Error Source Prediction, Marcus G. Ferguson
Theses and Dissertations
With the initiation of the navigation accuracy prediction algorithm used to estimate the amount of GPS solution (location and time) error for receivers, the capability to accurately predict solution errors due to the major GPS error sources is growing. Although some sources of error within the GPS solution have been previously analyzed, modeled, and/or accounted for within various modeling efforts, a formal evaluation of the seven major error sources that distort GPS activity has not been officially conducted up until this point. This research offers a logical assessment of all the major GPS error sources and their definitive impact on …
Applications Of Fuzzy Logic To Software Model, Yahaya Yuhanim Hani
Applications Of Fuzzy Logic To Software Model, Yahaya Yuhanim Hani
Student Works (2000-2009)
This thesis investigates the use of fuzzy logic approach in software metrics application. Software metrics defines a standard way of measuring the properties of software products, development processes and resources. The most common application of software metrics is the software cost estimation where it predicts the effort required for completing certain stages of a software development life cycle. The ability to obtain an accurate effort prediction is essential for the cost estimation process, as it helps a project manager to specify the efforts needed for project development. In relation to this, cost estimation models such as COCOMO (Constructive Cost Model), …
Development Of Object Oriented Components For Atm Network Simulation With Emphasis On Congestion Control, Wen Dee Lee
Development Of Object Oriented Components For Atm Network Simulation With Emphasis On Congestion Control, Wen Dee Lee
Student Works (2000-2009)
Asynchronous Transfer Mode (ATM) provides the required flexibility for the support of heterogeneous services for Broadband Integrated Services Digital Networks (8-ISDN) environment. A TM has proven to be efficient and flexible in handling a wide range of integrated service traffic. The most outstanding feature of ATM is that it provides the Quality of Service (QoS) guarantees between connections. In a network environment, congestion control is an important factor to consider as to guarantee the negotiated QoS. To study, observe and develop the congestion control mechanism in an ATM network, simulation modelling provides the ideal domain. The aim of this project …
Development Of Object Oriented Components For Atm Network Simulation With Emphasis On Switch Architecture, Meng Kiat Gan
Development Of Object Oriented Components For Atm Network Simulation With Emphasis On Switch Architecture, Meng Kiat Gan
Student Works (2000-2009)
Asynchronous Transfer Mode (ATM) is considered to be the foundation on which BISON is to be built. It is the new generation of communication protocol that being deployed throughout the telecommunication industry. An important component of this communication networks is the ATM switch whose basic functions are to direct cells from input port to output port and to buffer cell destined to the same output port from different input port. Understanding an ATM switch before building it, is a challenging task as one must consider the design of switching architecture and cell buffering at the same time. As the switching …
Factor Criteria Metric (Fcm) For Requirements Analysis Phase In The Development Of Management Information Systems, Wei Yin Chew
Factor Criteria Metric (Fcm) For Requirements Analysis Phase In The Development Of Management Information Systems, Wei Yin Chew
Student Works (2000-2009)
This project establishes a way to measure a characteristic of a product and a characteristic of a process involved in the requirements analysis phase for the development of management information systems (M!Ss) by adapting and enhancing McCall's Factor Criteria Metric (FCM) model. The two selected characteristics are the understandability of a software requirements specification (SRS) and effectiveness of a requirements gathering interview (RGI). To define the measurement for these two characteristics, a structure of factors, criteria, checklists and metrics for the characteristics of the products and processes is established based on McCall's FCM model. In addition, a software tool, FCMware, …
On Strongly N-Regular And Strongly Regular Rings, Huey Voon Chen
On Strongly N-Regular And Strongly Regular Rings, Huey Voon Chen
Student Works (2000-2009)
Let R be an associative ring with identity 1 (not equal to) 0. An element x E R is said to be right (or left) regular if there exists yin R such that x² y = x (or y.x² = x). If x is both left and right regular, then it is said to be strongly regular. The ring R is said to be strongly regular if every element of R is strongly regular. We say that x is a left -π-regular element if there exist an integer n > 0 and an element y E R such that yx n+1 …
Personalizing The Gams Cross-Index, Saverio Perugini, Priya Lakshminarayanan, Naren Ramakrishnan
Personalizing The Gams Cross-Index, Saverio Perugini, Priya Lakshminarayanan, Naren Ramakrishnan
Computer Science Faculty Publications
The NIST Guide to Available Mathematical Software (GAMS) system at http://gams.nist .gov serves as the gateway to thousands of scientific codes and modules for numerical computation. We describe the PIPE personalization facility for GAMS, whereby content from the cross-index is specialized for a user desiring software recommendations for a specific problem instance. The key idea is to (i) mine structure, and (ii) exploit it in a programmatic manner to generate personalized web pages. Our approach supports both content-based and collaborative personalization and enables information integration from multiple (and complementary) web resources. We present case studies for the domain of linear, …
Vhdl Design And Simulation For Embedded Zerotree Wavelet Quantisation, Hung Huynh
Vhdl Design And Simulation For Embedded Zerotree Wavelet Quantisation, Hung Huynh
Theses : Honours
This thesis discusses a highly effective still image compression algorithm – The Embedded Zerotree Wavelets coding technique, as it is called. This technique is simple but achieves a remarkable result. The image is wavelet-transformed, symbolically coded and successive quantised, therefore the compression and transmission/storage saving can be achieved by utilising the structure of zerotree. The algorithm was first proposed by Jerome M. Shapiro in 1993, however to minimise the memory usage and speeding up the EZW processor, a Depth First Search method is used to transverse across the image rather than Breadth First Search method as initially discussed in Shapiro's …
Investigation Of Image Feature Extraction By A Genetic Algorithm, Steven P. Brumby, James P. Theiler, Simon J. Perkins, Neal R. Harvey, John J. Szymanski, Jeffrey J. Bloch, Melanie Mitchell
Investigation Of Image Feature Extraction By A Genetic Algorithm, Steven P. Brumby, James P. Theiler, Simon J. Perkins, Neal R. Harvey, John J. Szymanski, Jeffrey J. Bloch, Melanie Mitchell
Computer Science Faculty Publications and Presentations
We describe the implementation and performance of a genetic algorithm which generates image feature extraction algorithms for remote sensing applications. We describe our basis set of primitive image operators and present our chromosomal representation of a complete algorithm. Our initial application has been geospatial feature extraction using publicly available multi-spectral aerial-photography data sets. We present the preliminary results of our analysis of the efficiency of the classic genetic operations of crossover and mutation for our application, and discuss our choice of evolutionary control parameters. We exhibit some of our evolved algorithms, and discuss possible avenues for future progress.
Newton Parameter Update Algorithm For Recurrent Neural Networks Applied To Adaptive System Identification And Control, Donald Allen Gates
Newton Parameter Update Algorithm For Recurrent Neural Networks Applied To Adaptive System Identification And Control, Donald Allen Gates
Electrical & Computer Engineering Theses & Dissertations
This paper shows that the combination of a second-order neural network parameter update algorithm and internal network feedback can be effectively used for adaptive, nonlinear, dynamical system identification and control. Adaptive neural identification and control algorithms are typically utilized for real-time applications where the rate of adaptation is often critical. A fast, adaptive network parameter update algorithm is presented.
Simulation results show that this algorithm is capable of quickly identifying and adapting to changes in system parameters, making it feasible to use for real-time control and fault accommodation applications.
Two Approaches To Critical Path Scheduling For A Heterogeneous Environment, Guangxia Liu
Two Approaches To Critical Path Scheduling For A Heterogeneous Environment, Guangxia Liu
Computer Science Theses & Dissertations
Advances in computing and networking technologies are making large scale distributed heterogeneous computing a reality. Multi-Disciplinary Optimization (MDO) is a class of applications that is being addressed under this paradigm. It consists of multiple heterogeneous modules interacting with each other to solve an overall design problem. An efficient implementation of such an application requires scheduling heterogeneous modules (with different computing and disk 1/0 requirements) on a heterogeneous set of resources (with different CPU, memory, disk IO specifications).
Given a set of tasks and a set of resources, an optimal schedule of the tasks on the resources is very hard to …
Computation Of Scattering From Bodies Of Revolution Using An Entire-Domain Basis Implementation Of The Moment Method, Arthur P. Ford Iv
Computation Of Scattering From Bodies Of Revolution Using An Entire-Domain Basis Implementation Of The Moment Method, Arthur P. Ford Iv
Theses and Dissertations
Research into improved calibration targets for measurement of radar cross-section has created a need for the ability to accurately compute the scattering from perfectly conducting bodies of revolution. Common computational techniques use Moment Method codes that employ subdomain basis functions to expand the unknown current density. This approach has its shortcomings. Large numbers of basis functions are required, and increasing the number of basis functions to improve accuracy after an initial computation requires re-computation of previous results and lost processing time. This research involves using basis functions that have as their domain the entire length of the surface. Entire-domain basis …
Gps Signal Offset Detection And Noise Strength Estimation In A Parallel Kalman Filter Algorithm, Barry J. Vanek
Gps Signal Offset Detection And Noise Strength Estimation In A Parallel Kalman Filter Algorithm, Barry J. Vanek
Theses and Dissertations
Measurements from Global Positioning System (GPS) satellites are subject to corruption by signal interference and induced offsets. This thesis presents two independent algorithms to ensure the navigation system remains uncorrupted by these possible GPS failures. The first is a parameter estimation algorithm that estimates the measurement noise variance of each satellite. A redundant measurement differencing (RMD) technique provides direct observability of the differenced white measurement noise samples. The variance of the noise process is estimated and provided to the second algorithm, a parallel Kalman filter structure, which then adapts to changes in the real-world measurement noise strength. The parallel Kalman …
An Efficient Gps Position Determination Algorithm, Carlos R. Colon
An Efficient Gps Position Determination Algorithm, Carlos R. Colon
Theses and Dissertations
The use of detect, or closed-form solutions of the trilateration equations used to obtain the position fix in GPS receivers is investigated. The paper is concerned with the development of an efficient new position determination algorithm that uses the closed-form solution of the trilateration equations and works in the presence of pseudorange measurement noise and for an arbitrary number of satellites. in addition, an initial position guess is not required and good estimation performance is achieved even under high GDOP conditions. A two step GPS position determination algorithm which 1) entails the solution of a linear regression problem and, 2) …
A 2d Dwt Architecture Suitable For The Embedded Zerotree Wavelet Algorithm, James Martinez
A 2d Dwt Architecture Suitable For The Embedded Zerotree Wavelet Algorithm, James Martinez
Theses : Honours
Digital Imaging has had an enormous impact on industrial applications such as the Internet and video-phone systems. However, demand for industrial applications is growing enormously. In particular, internet application users are, growing at a near exponential rate. The sharp increase in applications using digital images has caused much emphasis on the fields of image coding, storage, processing and communications. New techniques are continuously developed with the main aim of increasing efficiency. Image coding is in particular a field of great commercial interest. A digital image requires a large amount of data to be created. This large amount of data causes …
Backtracking In Wormhole-Switched Interconnection Networks, Soha Saad Zaghloul Abdallah
Backtracking In Wormhole-Switched Interconnection Networks, Soha Saad Zaghloul Abdallah
Archived Theses and Dissertations
No abstract provided.
Nonlinear Constrained Optimizer And Parallel Processing For Golden Block Line Search, Duc T. Nguyen, Wilson H. Tang, Yeou K. Tung, Hakizumwami B. Runesha
Nonlinear Constrained Optimizer And Parallel Processing For Golden Block Line Search, Duc T. Nguyen, Wilson H. Tang, Yeou K. Tung, Hakizumwami B. Runesha
Civil & Environmental Engineering Faculty Publications
Generalized exponential penalty functions are constructed for the multiplier methods in solving nonlinear programming problems. The non-smooth extreme constraint Gext is replaced by a single smooth constraint Gs by using the generalized exponential function (base a>1). The well-known K.S. function is found to be a special case of our proposed formulation. Parallel processing for Golden block line search algorithm is then summarized, which can also be integrated into our formulation. Both small and large-scale nonlinear programming problems (up to 2000 variables and 2000 nonlinear constraints) have been solved to validate the proposed algorithms.
An Adaptive Hierarchical Fuzzy Logic System For Modelling And Prediction Of Financial Systems, Mark Kingham
An Adaptive Hierarchical Fuzzy Logic System For Modelling And Prediction Of Financial Systems, Mark Kingham
Theses: Doctorates and Masters
In this thesis, an intelligent fuzzy logic system using genetic algorithms for the prediction and modelling of interest rates is developed. The proposed system uses a Hierarchical Fuzzy Logic system in which a genetic algorithm is used as a training method for learning the fuzzy rules knowledge bases. A fuzzy logic system is developed to model and predict three month quarterly interest rate fluctuations. The system is further trained to model and predict interest rates for six month and one year periods. The proposed system is developed with first two, three, then four and finally five hierarchical knowledge bases to …
Development Of A Model For Smart Card Based Access Control In Multi-User, Multi-Resource, Multi-Level Access Systems, David Shaw
Theses: Doctorates and Masters
The primary focus of this research is an examination of the issues involved in the granting of access in an environment characterised by multiple users, multiple resources and multiple levels of access permission. Increasing levels of complexity in automotive systems provides opportunities for improving the integration and efficiency of the services provided to the operator. The vehicle lease / hire environment provided a basis for evaluating conditional access to distributed, mobile assets where the principal medium for operating in this environment is the Smart Card. The application of Smart Cards to existing vehicle management systems requires control of access to …
Deciding About Agent Mobility Using A Performance Cost Model, Dalia Fakher Elmansy
Deciding About Agent Mobility Using A Performance Cost Model, Dalia Fakher Elmansy
Archived Theses and Dissertations
No abstract provided.
Variability Analysis Of Discrete Cosine Transform Coefficient (Dctc) Features For Speech Processing, Bingjun Dai
Variability Analysis Of Discrete Cosine Transform Coefficient (Dctc) Features For Speech Processing, Bingjun Dai
Electrical & Computer Engineering Theses & Dissertations
In this research, the variability of Discrete Cosine Transform Coefficient (DCTC) features was investigated. Additionally, a new pitch-synchronous processing method was explored to increase the stability of features and to reduce window effects when compared to the regular method. The noise sources that lead to feature variability were analyzed, and different smoothing methods were tested. It was found that longer frames, frequency warping, time smoothing of the log spectrum, and DCS level time smoothing, all help reduce DCTC variability and increase classification performance. The pitch synchronous method was implemented with Matlab. Important processing methods, including pitch period estimation, time domain …
Automatic Target Cueing Of Hyperspectral Image Data, Terry A. Wilson
Automatic Target Cueing Of Hyperspectral Image Data, Terry A. Wilson
Theses and Dissertations
Modern imaging sensors produce vast amounts data, overwhelming human analysts. One such sensor is the Airborne Visible and Infrared Imaging Spectrometer (AVIRIS) hyperspectral sensor. The AVIRIS sensor simultaneously collects data in 224 spectral bands that range from 0.4µm to 2.5µm in approximately 10nm increments, producing 224 images, each representing a single spectral band. Autonomous systems are required that can fuse "important" spectral bands and then classify regions of interest if all of this data is to be exploited. This dissertation presents a comprehensive solution that consists of a new physiologically motivated fusion algorithm and a novel Bayes optimal self-architecting classifier …
Architectural Optimization Of Digital Libraries, Aileen O. Biser
Architectural Optimization Of Digital Libraries, Aileen O. Biser
Computer Science Theses & Dissertations
This work investigates performance and scaling issues relevant to large scale distributed digital libraries. Presently, performance and scaling studies focus on specific implementations of production or prototype digital libraries. Although useful information is gained to aid these designers and other researchers with insights to performance and scaling issues, the broader issues relevant to very large scale distributed libraries are not addressed. Specifically, no current studies look at the extreme or worst case possibilities in digital library implementations. A survey of digital library research issues is presented. Scaling and performance issues are mentioned frequently in the digital library literature but are …
Maximally Disjoint Solutions Of The Set Covering Problem, David J. Rader, Peter L. Hammer
Maximally Disjoint Solutions Of The Set Covering Problem, David J. Rader, Peter L. Hammer
Mathematical Sciences Technical Reports (MSTR)
This paper is concerned with finding two solutions of a set covering problem that have a minimum number of variables in common. We show that this problem is NP complete, even in the case where we are only interested in completely disjoint solutions. We describe three heuristic methods based on the standard greedy algorithm for set covering problems. Two of these algorithms find the solutions sequentially, while the third finds them simultaneously. A local search method for reducing the overlap of the two given solutions is then described. This method involves the solution of a reduced set covering problem. Finally, …
Representations, Approximations, And Algorithms For Mathematical Speech Processing, Laura R. Suzuki
Representations, Approximations, And Algorithms For Mathematical Speech Processing, Laura R. Suzuki
Theses and Dissertations
Representing speech signals such that specific characteristics of speech are included is essential in many Air Force and DoD signal processing applications. A mathematical construct called a frame is presented which captures the important time-varying characteristic of speech. Roughly speaking, frames generalize the idea of an orthogonal basis in a Hilbert space, Specific spaces applicable to speech are L2(R) and the Hardy spaces Hp(D) for p> 1 where D is the unit disk in the complex plane. Results are given for representations in the Hardy spaces involving Carleson's inequalities (and its extensions), …
New Algorithms For Moving-Bank Multiple Model Adaptive Estimation, Juan R. Vasquez
New Algorithms For Moving-Bank Multiple Model Adaptive Estimation, Juan R. Vasquez
Theses and Dissertations
The focus of this research is to provide methods for generating precise parameter estimates in the face of potentially significant parameter variations such as system component failures. The standard Multiple Model Adaptive Estimation (MMAE) algorithm uses a bank of Kalman filters, each based on a different model of the system. A new moving-bank MMAE algorithm is developed based on exploitation of the density data available from the MMAE. The methods used to exploit this information include various measures of the density data and a decision-making logic used to move, expand, and contract the MMAE bank of filters. Parameter discretization within …
Building Lms Adaptive Filters With Register-Based Fpgas, Li Ding
Building Lms Adaptive Filters With Register-Based Fpgas, Li Ding
Electrical & Computer Engineering Theses & Dissertations
In this thesis, an 8-bit least mean squares (LMS) adaptive digital filter with 16 coefficients is implemented on a single FPGA, using the MaxPlus+2 design environment. The system is constructed as a hierarchical structure, using four different levels of design hierarchy. Subdesigns at each level of the hierarchy project are complied, fitted and simulated to test and verify their functional correctness. The complete system is tested and verified by checking the MaxPlus+2 simulator results against fixed-point integer arithmetic simulations written in Matlab. The resulting adaptive filter is subsequently mapped to the Alters FLEX I OK20TC144-3 device, resulting in a 14,500 …
Starcraft - Maps & Benchmark Problems, Nathan R. Sturtevant, Blizzard Corp.
Starcraft - Maps & Benchmark Problems, Nathan R. Sturtevant, Blizzard Corp.
Moving AI Lab: 2D Maps and Benchmark Problems
Maps extracted from Starcraft from Blizzard Corp. for use and distribution as benchmark problems.
Contains 75 maps and benchmark problem sets, converted to standard format by Dave Churchill and post-processed to remove all but the largest connected component.