Jonathan Lee

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
Coarse geometry of the cops and robber game.
Discret. Math., December, 2023

Jais and Jais-chat: Arabic-Centric Foundation and Instruction-Tuned Open Generative Large Language Models.
CoRR, 2023

Analyzing Energy Consumption of Appliances in Smart Grids.
Proceedings of the 29th Americas Conference on Information Systems, 2023

2022
An Interval-Valued Time Series Forecasting Scheme With Probability Distribution Features for Electric Power Generation Prediction.
IEEE Access, 2022

Psychosis iREACH: Reach for Psychosis Treatment using Artificial Intelligence.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2022

2021
Dory: Efficient, Transparent Arguments for Generalised Inner Products and Polynomial Commitments.
Proceedings of the Theory of Cryptography - 19th International Conference, 2021

2020
ICedge: When Edge Computing Meets Information-Centric Networking.
IEEE Internet Things J., 2020

Is Q-Learning Provably Efficient? An Extended Analysis.
CoRR, 2020

2019
A Case for Compute Reuse in Future Edge Systems: An Empirical Study.
Proceedings of the 2019 IEEE Globecom Workshops, Waikoloa, HI, USA, December 9-13, 2019, 2019

2018
Line percolation.
Random Struct. Algorithms, 2018

7T MR of intracranial pathology: Preliminary observations and comparisons to 3T and 1.5T.
NeuroImage, 2018

Eigenvalues of subgraphs of the cube.
Eur. J. Comb., 2018

2014
Output to input: concepts for physical data representations and tactile user interfaces.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

Results of implementation of integrated electronic health record contrast allergy decision support.
Proceedings of IEEE-EMBS International Conference on Biomedical and Health Informatics, 2014

2013
FiloDetect: automatic detection of filopodia from fluorescence microscopy images.
BMC Syst. Biol., 2013

Automatic Detection of Filopodia from Fluorescence Microscopy Images.
Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2013

Fuzzy Objects.
Proceedings of the On Fuzziness - A Homage to Lotfi A. Zadeh - Volume 1, 2013

2012
Modeling of radiowave propagation in tunnels.
Proceedings of the 31st IEEE Military Communications Conference, 2012

2011
Change the face of software engineering education: A field report from Taiwan.
Inf. Softw. Technol., 2011

Reuse of Post-Consumer E-Waste for Low Cost Micropower Distribution.
Proceedings of the IEEE Global Humanitarian Technology Conference, 2011

Fuzzy logic as a basic for use case point estimation.
Proceedings of the FUZZ-IEEE 2011, 2011

2010
Preface to the special issue on "Goal-driven requirements engineering".
Int. J. Intell. Syst., 2010

Dynamic resource selection heuristics for a non-reserved bidding-based Grid environment.
Future Gener. Comput. Syst., 2010

2009
A Simulation Approach to Understand the Viability of RFID Technology in Reducing Medication Dispensing Errors.
Proceedings of the Digital Human Modeling, 2009

2008
Goal-driven Design Transformation by Applying Design Patterns.
Proceedings of the 14th International Conference on Distributed Multimedia Systems, 2008

Resource Selection Strategies for a CNP-Based Resource Management Model.
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

2007
A Quality Verification Model for Design Pattern.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
A Neuro-Fuzzy Approach for Compensating Color Backlight Images.
Neural Process. Lett., 2006

A new ARTMAP-based neural network for incremental learning.
Neurocomputing, 2006

A new approach to fuzzy classifier systems and its application in self-generating neuro-fuzzy systems.
Neurocomputing, 2006

2005
The MSFAM: a modified fuzzy ARTMAP system.
Pattern Anal. Appl., 2005

Preface to the special issue on introduction to software engineering with computational intelligence.
Int. J. Intell. Syst., 2005

2004
Evolution of intelligent agent in auction market.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2004

2003
Modeling uncertainty reasoning with possibilistic Petri nets.
IEEE Trans. Syst. Man Cybern. Part B, 2003

A Bayesian Model for Prelaunch Sales Forecasting of Recorded Music.
Manag. Sci., 2003

Modeling imprecise requirements with XML.
Inf. Softw. Technol., 2003

Introduction to software engineering with computational intelligence.
Inf. Softw. Technol., 2003

An XML-based Approach to Processing Imprecise Requirements.
Proceedings of the Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30, 2003

2002
Preface.
Fuzzy Sets Syst., 2002

A note on current approaches to extending software engineering with fuzzy logic.
Proceedings of the 2002 IEEE International Conference on Fuzzy Systems, 2002

Modeling imprecise requirements with XML.
Proceedings of the 2002 IEEE International Conference on Fuzzy Systems, 2002

2001
Editorial: Selected Papers from IFSA'99.
J. Adv. Comput. Intell. Intell. Informatics, 2001

Structuring requirement specifications with goals.
Inf. Softw. Technol., 2001

Verifying scenarios with time Petri-nets.
Inf. Softw. Technol., 2001

A note on current approaches to extending fuzzy logic to object-oriented modeling.
Int. J. Intell. Syst., 2001

Introduction: Extending fuzzy theory to object-oriented modeling.
Int. J. Intell. Syst., 2001

2000
High-Level Petri Nets as a Basis for Managing Symbolic and Numerical Information.
Int. J. Artif. Intell. Tools, 2000

A possibilistic-logic-based approach to integrating imprecise and uncertain information.
Fuzzy Sets Syst., 2000

A Software Engineering Approach to University Timetabling.
Proceedings of the 2000 International Symposium on Multimedia Software Engineering, 2000

Towards the Verification of Scenarios with Time Petri-Nets.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999
A fuzzy Petri net-based expert system and its application to damage assessment of bridges.
IEEE Trans. Syst. Man Cybern. Part B, 1999

Analyzing User Requirements by Use Cases: A Goal-Driven Approach.
IEEE Softw., 1999

Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
Int. J. Softw. Eng. Knowl. Eng., 1999

Fuzzy logic as a basis for reusing task-based specifications.
Int. J. Intell. Syst., 1999

Guest Editor's Introduction: Interweave Knowledge and Data.
Int. J. Artif. Intell. Tools, 1999

1998
New Approach to Requirements Trade-Off Analysis for Complex Systems.
IEEE Trans. Knowl. Data Eng., 1998

A note on state modeling through inheritance.
ACM SIGSOFT Softw. Eng. Notes, 1998

A New Apprach to Verifying Conceptual Models.
J. Inf. Sci. Eng., 1998

Fuzzy Decision Making through Trade-Off Analysis between Criteria.
Inf. Sci., 1998

Verifying task-based specifications in conceptual graphs.
Inf. Softw. Technol., 1998

A rule-based approach to producing Z specifications from Jackson system development.
Int. J. Intell. Syst., 1998

Fuzzy Petri Nets for Modeling Rule-Based Reasoning.
Int. J. Artif. Intell. Tools, 1998

FPNES: fuzzy Petri net based expert system for bridges damage assessment.
Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998

Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997
OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal Specifications.
J. Inf. Sci. Eng., 1997

Task structures as a basis for modeling knowledge-based systems.
Int. J. Intell. Syst., 1997

Modeling User Requirements with a Front-End Analysis.
Int. J. Artif. Intell. Tools, 1997

A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
Guest Editors' Introduction: Applications of fuzzy Theory to Complex Systems.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1996

Task-Based Specifications Through Conceptual Graphs.
IEEE Expert, 1996

A Task-Based Approach to Verifying Conceptual Models.
Proceedings of the COMPSAC '96, 1996

1995
Integrating object-oriented requirements specifications with formal notations.
Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

Expressing JSD in Z.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995


  Loading...