
Solving Distributed Constraint Optimization Problems Using Logic Programming
This paper explores the use of Answer Set Programming (ASP) in solving D...
read it

A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs
The field of Distributed Constraint Optimization has gained momentum in ...
read it

Fast Exact kMeans, kMedians and Bregman Divergence Clustering in 1D
The kMeans clustering problem on n points is NPHard for any dimension ...
read it

Distributed Constraint Optimization Problems and Applications: A Survey
The field of MultiAgent System (MAS) is an active area of research with...
read it

An Action Language for MultiAgent Domains: Foundations
In multiagent domains (MADs), an agent's action may not just change the...
read it

Logic and Constraint Logic Programming for Distributed Constraint Optimization
The field of Distributed Constraint Optimization Problems (DCOPs) has ga...
read it

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
In this paper, we present two alternative approaches to defining answer ...
read it

Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda
The paper presents a knowledge representation formalism, in the form of ...
read it

Multivalued Action Languages in CLP(FD)
Action description languages, such as A and B, are expressive instrument...
read it

Combating Error Propagation in Window Decoding of Braided Convolutional Codes
In this paper, we study sliding window decoding of braided convolutional...
read it

Realtime Active Sound Source Localization for Unmanned Ground Robots Using a SelfRotational BiMicrophone Array
This work presents a novel technique that performs both orientation and ...
read it

MultiSoundSource Localization for Small Autonomous Unmanned Vehicles with a SelfRotating BiMicrophone Array
While visionbased localization techniques have been widely studied for ...
read it

Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming
Evolutionary Biologists have long struggled with the challenge of develo...
read it

Free Pseudodistance Growth Rates for Spatially Coupled LDPC Codes over the BEC
The minimum pseudoweight is an important parameter related to the decodi...
read it

Personalized Colorectal Cancer Survivability Prediction with Machine Learning Methods
In this work, we investigate the importance of ethnicity in colorectal c...
read it

Universal optimal configurations for the pframe potentials
Given d, N≥ 2 and p∈ (0, ∞] we consider a family of functionals, the pf...
read it

Instructions' Latencies Characterization for NVIDIA GPGPUs
The last decade has seen a shift in the computer systems industry where ...
read it

qwLSH: Cacheconscious Indexing for Processing Similarity Search Query Workloads in HighDimensional Spaces
Similarity search queries in highdimensional spaces are an important ty...
read it

Modeling Shared Cache Performance of OpenMP Programs using Reuse Distance
Performance modeling of parallel applications on multicore computers rem...
read it

Low Overhead Instruction Latency Characterization for NVIDIA GPGPUs
The last decade has seen a shift in the computer systems industry where ...
read it

Natural Language Generation for NonExpert Users
Motivated by the difficulty in presenting computational results, especia...
read it

Experimenting with Constraint Programming on GPU
The focus of my PhD thesis is on exploring parallel approaches to effici...
read it

Efficient Bitmapbased Indexing and Retrieval of Similarity Search Image Queries
Finding similar images is a necessary operation in many multimedia appli...
read it

On the Search for Tight Frames of Low Coherence
We introduce a projective Riesz skernel for the unit sphere S^d1 and i...
read it

Verified InstructionLevel Energy Consumption Measurement for NVIDIA GPUs
GPUs are prevalent in modern computing systems at all scales. They consu...
read it

Balance Transfers and Bailouts in Credit Networks using Blockchains
In this paper, we propose a technique for rebalancing link weights in de...
read it

mmLSH: A Practical and Efficient Technique for Processing Approximate Nearest Neighbor Queries on Multimedia Data
Many large multimedia applications require efficient processing of neare...
read it

Decoder Error Propagation Mitigation for Spatially Coupled LDPC Codes
In this paper, we introduce two new methods of mitigating decoder error ...
read it

Error Propagation Mitigation in Sliding Window Decoding of Braided Convolutional Codes
We investigate error propagation in sliding window decoding of braided c...
read it

Experimental Analysis of Locality Sensitive Hashing Techniques for HighDimensional Approximate Nearest Neighbor Searches
Finding nearest neighbors in highdimensional spaces is a fundamental op...
read it

Improving Locality Sensitive Hashing by Efficiently Finding Projected Nearest Neighbors
Similarity search in highdimensional spaces is an important task for ma...
read it

An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
The paper describes an ongoing effort in developing a declarative system...
read it

Modelling MultiAgent Epistemic Planning in ASP
Designing agents that reason and act upon the world has always been one ...
read it
New Mexico State University
New Mexico State University is a public, landgrant and spacegrant, research university in Las Cruces, New Mexico.