Search Results - "Keane, J.A."

Preference elicitation from inconsistent judgments using multi-objective optimization by Siraj, S., Mikhailov, L., Keane, J.A.

“…► A new approach is proposed for prioritization using the concept of indirect judgments. ► A prototype has been developed using a multiple-objective…”
Get full text

Short-Term and Midterm Load Forecasting Using a Bilevel Optimization Model by Huina Mao, Xiao-Jun Zeng, Gang Leng, Yong-Jie Zhai, Keane, J.A.

“…During the last decade, neural networks have emerged as one of the most powerful and accurate nonlinear models for load forecasting. However, using neural…”
Get full text

Approximation Capabilities of Hierarchical Fuzzy Systems by Xiao-Jun Zeng, Keane, J.A.

“…Derived from practical application in location analysis and pricing, and based on the approach of hierarchical structure analysis of continuous functions, this…”
Get full text

Intermediate Variable Normalization for Gradient Descent Learning for Hierarchical Fuzzy System by Di Wang, Xiao-Jun Zeng, Keane, J.A.

“…When applying gradient descent learning methods to hierarchical fuzzy systems, there is great difficulty in handling the intermediate variables introduced by…”
Get full text

Hierarchical Fuzzy Systems for Function Approximation on Discrete Input Spaces With Application by Xiao-Jun Zeng, Goulermas, J.Y., Liatsis, P., Di Wang, Keane, J.A.

“…This paper investigates the capabilities of hierarchical fuzzy systems to approximate functions on discrete input spaces. First, it is shown that any function…”
Get full text

Approximation capabilities of hierarchical hybrid systems by Xiao-Jun Zeng, Keane, J.A.

“…This paper investigates the approximation capabilities of hierarchical hybrid systems, which are motivated by research in hierarchical fuzzy systems, hybrid…”
Get full text

A computational framework for location analysis by Keane, J.A., Ward, T.A.

“…Location analysis decisions are interrelated and should be made within a single decision-making framework. A framework within which a number of location…”
Get full text

Corrigendum to “Enumerating all spanning trees for pairwise comparisons” [Comput. Oper. Res. 39 (2012) 191–199] by Siraj, S., Mikhailov, L., Keane, J.A.

Get full text

Enumerating all spanning trees for pairwise comparisons by Siraj, S., Mikhailov, L., Keane, J.A.

“…Determining the most suitable prioritization method for pairwise comparisons remains an open problem. This paper proposes a method based on the generation of…”
Get full text

Algorithmic aspects of hierarchical verification for SA/RT models by Lihua Shi, Keane, J.A.

“…Structured analysis methods for real-time systems (SA/RT) use highly expressive graphical specification languages to specify system requirements. By giving…”
Get full text

Mining association rules with composite items by Ye, X., Keane, J.A.

“…Association rules can be used to express relationships between items of data. The process of mining associations rules is to analysis the data in a database to…”
Get full text

Processing temporal aggregates in parallel by Ye, X., Keane, J.A.

“…Temporal databases maintain past, present and future data. TSQL2 is a query language designed for temporal databases. In TSQL2, the GROUP BY clause has the…”
Get full text

A multicast primitive for mobile hosts by Xinfeng Ye, Keane, J.A.

“…Due to network latency and the mobility of the host, many existing group communication protocols are limited to a static environment. This paper presents a…”
Get full text

Detecting termination in static and dynamic systems by Ye, X., Keane, J.A.

“…Distributed termination detection concerns detecting the termination of a distributed computation spread across a set of processors. Most solutions to the…”
Get full text

High Performance Banking by Keane, J.A.

“…The aim of the High Performance Banking (HYPERBANK) project is to provide the banking sector with the requisite toolset for increased understanding of existing…”
Get full text

A granular computing view on function approximation by Xiao-Jun Zeng, Keane, J.A.

Get full text

A method of verification in design: an operating system case study by Keane, J.A., Hussak, W.

“…This paper reports a study of verification in the high-level design phase of operating system development in which both a rigorous and formal verification are…”
Get full text

Software process in a concurrent, formally-based framework by Sa, J., Keane, J.A., Warboys, B.C.

“…The specification and refinement of a large software system is given using a concurrent, formally based framework. The framework, OBM, is concerned with the…”
Get full text

Mining association rules in temporal databases by Xinfen Ye, Keane, J.A.

“…Association rules are used to express "interesting" relationships between items of data in a standard enterprise database. In a temporal database, each tuple…”
Get full text

A formal approach to determining parallel resource bindings by Keane, J.A., Hussak, W.

“…The paper investigates the nature of the design process for parallel operating systems. It proposes a temporal logic-based formal methodology addressing the…”
Get full text