Follow

Submissions from 1999

Decidability of First Order Logic Queries over Views, James Bailey and Guozhu Dong

PDF

Data Integration by Describing Sources with Constraint Databases, Xun Cheng, Guozhu Dong, Tzekwan Lau, and Jianwen Su

PDF

Critical IT role in Healthcare: National Agenda, Applications, and Technologies, Jack Corley, Warren Karp, and Amit P. Sheth

Incremental Maintenance of Recursive Views: A Survey, Guozhu Dong

PDF

Maintaining Transitive Closure of Graphs in SQL, Guozhu Dong, Leonid Libkin, Jianwen Su, and Limsoon Wong

Efficient Mining of Emerging Patterns: Discovering Trends and Differences, Guozhu Dong and Jinyan Li

Discovering Jumping Emerging Patterns and Experiments on Real Datasets, Guozhu Dong, Jinyan Li, and Xiuzhen Zhang

Incremental Evaluation of Datalog Queries, Guozhu Dong and Rodney Topor

Link

CAEP: Classification by Aggregating Emerging Patterns, Guozhu Dong, Xiuzhen Zhang, Limsoon Wong, and Jinyan Li

PDF

Efficient Mining of Partial Periodic Patterns in Time Series Database, Jiawei Han, Guozhu Dong, and Yiwen Yin

Acceptable Programs Revisited, Pascal Hitzler and Anthony K. Seda

PDF

Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases, Pascal Hitzler and Anthony K. Seda

Link

Some Issues Concerning Fixed-Points in Computational Logic: Quasi-Metrics, Multivalued Mappings and the Knaster-Tarski Theorem, Pascal Hitzler and Anthony K. Seda

Declarative Workflows that Support Easy Modification and Dynamic Browsing, Richard Hull, Francois Llirbat, Eric Simon, Jianwen Su, Guozhu Dong, Bharat Kumar, and Gang Zhou

PDF

Efficient Support for Decision Flows in E-Commerce Applications, Richard Hull, Francois Llirbat, Jianwen Su, Guozhu Dong, Bharat Kumar, and Gang Zhou

PDF

A Multilevel Secure Workflow Management System, Myong H. Kang, Judith N. Froscher, Amit P. Sheth, Krzysztof J. Kochut, and John A. Miller

Interdependent Database Systems, George Karabatis, Marek Rusinkiewicz, and Amit P. Sheth

Semantic Similarities between Objects in Multiple Databases, Vipul Kashyap and Amit P. Sheth

PDF

How Proteins Fold, Flex, and Bind Other Molecules, Leslie A. Kuhn, Volker Schnecke, Michael L. Raymer, and Paul C. Sanschagrin

Link

Efficient Mining of High Confidence Association Rules without Support Thresholds, Jinyan Li, Xiuzhen Zhang, Guozhu Dong, Kotagiri Ramamohanarao, and Qun Sun

Perspectives in Modeling: Simulation, Database, and Workflow, John A. Miller, Amit P. Sheth, and Krzysztof J. Kochut

Link

Recovery Issues in Web-Based Workflow, John A. Miller, Amit P. Sheth, Krzysztof Kochut, and Zongwei Luo

Link

Semantic Interoperability in Global Information Systems, Aris M. Ouksel and Amit P. Sheth

Incremental FO(+,<) Maintenance of All-Pairs Shortest Paths for Undirected Graphs After Insertions and Deletions, Chaoyi Pang, Kotagiri Ramamohanarao, and Guozhu Dong

A Characterization of Acceptability, Anthony K. Seda and Pascal Hitzler

PDF

Characterizations of Classes of Programs by Three-Valued Operators, Anthony K. Seda and Pascal Hitzler

PDF

InfoHarness: Managing Distributed, Heterogeneous Information, Kshitij Shah and Amit P. Sheth

Changing Focus on Interoperability in Information Systems: From System, Syntax, Structure to Semantics, Amit P. Sheth

Link

VideoAnywhere: A System for Searching and Managing Distributed Heterogeneous Video Assets, Amit P. Sheth, Clemens Bertram, and Kshitij Shah

Semantic Information Brokering: How Can a Multi-Agent Approach Help?, Amit P. Sheth, Vipul Kashyap, and Tarcisio Lima

Link

Searching Distributed and Heterogeneous Digital Media: The VisualHarness Approach, Amit P. Sheth, Kshitij Shah, Krishnan Parasuraman, and Srilekha Mudumbai

PDF

Processes Driving the Networked Economy, Amit P. Sheth, Will van der Aalst, and I. Budak Arpinar

Simulating Multiple Inheritance and Generics in Java, Krishnaprasad Thirunarayan, Gunter Kniesel, and Haripriyan Hampapuram

A Unified Framework for Recursive Maximum Likelihood Estimation with Application to Hidden Markov Models, Shaojun Wang and Yunxin Zhao

PDF

On-Line Bayesian Tree-Structured Transformation of Hidden Markov Models for Speaker Adaptation, Shaojun Wang and Yunxin Zhao

Submissions from 1998

Incremental View Maintenance By Base Relation Tagging in Distributed Databases, James Bailey, Guozhu Dong, Mukesh Mohania, and X. Sean Wang

Decidability and Undecidability Results for the Termination Problem of Active Database Rules, James Bailey, Guozhu Dong, and Kotagiri Ramamohanarao

Relational Expressive Power of Constraint Query Languages, Michael Benedikt, Guozhu Dong, Leonid Libkin, and Limsoon Wong

Overview on Using Metadata to Manage Multimedia Data, Susanne Boll, Wolfgang Klas, and Amit P. Sheth

PDF

Interestingness of Discovered Association Rules in terms of Neighborhood-Based Unexpectedness, Guozhu Dong and Jinyan Li

Arity Bounds in First-Order Incremental Evaluation and Definition of Polynomial Time Database Queries, Guozhu Dong and Jianwen Su

On Adaptive Workflow Modeling, Yanbo Han and Amit P. Sheth

Strong and Weak Topologies, Pascal Hitzler

PDF

Strictly Level-Decreasing Logic Programs, Pascal Hitzler and Anthony K. Seda

On Convergence of Maximum Likelihood Estimation of Binary HMMs by EM Algorithm, M. Li, Shaojun Wang, and Yunxin Zhao

Link

Domain Specific Ontologies for Semantic Information Brokering on the Global Information Infrastructure, Eduardo Mena, Vipul Kashyap, Arantza Illarramendi, and Amit P. Sheth

Link

Estimating Information Loss for Multi-ontology Based Query Processing, Eduardo Mena, Vipul Kashyap, Arantza Illarramendi, and Amit P. Sheth

WebWork: METEOR2's Web-based Workflow Management System, John A. Miller, Devanand Palaniswami, Amit P. Sheth, Krzysztof J. Kochut, and Harvinder Singh

PDF

ZEBRA Image Access System, Srilekha Mudumbai, Kshitij Shah, Amit P. Sheth, Krishnan Parasuraman, and Clemens Bertram

Link

Identifying the Determinants of Conserved Protein Solvation, Michael L. Raymer, Paul C. Sanschagrin, and Leslie A. Kuhn

Link

Elucidating the Determinants of Conserved Protein Surface Solvation Using a Genetic Algorithm and Nearest Neighbor Classifier, Michael L. Raymer, Paul C. Sanschagrin, William F. Punch, Erik D. Goodman, and Leslie A. Kuhn

PDF

Logical Information Modeling of Web-Accessible Heterogeneous Digital Assets, Kshitij Shah and Amit P. Sheth

Workflow Applications to Research Agenda: Scalable and Dynamic Work Coordination and Collaboration Systems, Amit P. Sheth and Krzysztof J. Kochut

Submissions from 1997

PDF

Structural Issues in Active Rule Systems, James Bailey, Guozhu Dong, and Kotagiri Ramamohanarao

PDF

A VHDL-93 Hardware Description Browser, Laura C. DeBrock and Krishnaprasad Thirunarayan

Local Properties of Query Languages, Guozhu Dong, Leonid Libkin, and Limsoon Wong

Maintaining Transitive Closure in First Order After Node-Set and Edge-Set Deletions, Guozhu Dong and Chaoyi Pang

Maintaining Constrained Transitive Closure by Conjunctive Queries, Guozhu Dong and Kotagiri Ramamohanarao

Deterministic FOIES are Strictly Weaker, Guozhu Dong and Jianwen Su

PDF

Some Relationships between FOIES and Sigma 1 1 Arity Hierarchies, Guozhu Dong and Limsoon Wong

Der Kontraktionssatz auf metrischen Raumen, Pascal Hitzler

Fixpunktsemantik, Pascal Hitzler

Link

Semantic Heterogeneity in Global Information Systems: The Role of Metadata, Context and Ontologies, Vipul Kashyap and Amit P. Sheth

Link

Simultaneous Feature Extraction and Selection Using a Masking Genetic Algorithm, Michael L. Raymer, William F. Punch, Erik D. Goodman, Paul C. Sanschagrin, and Leslie A. Kuhn

Link

Discovering the Chemistry of Conserved First-Shell and Active-Site Hydration in Proteins Using Pattern Classification with a Genetic Algorithm, Michael L. Raymer, William F. Punch, Paul C. Sanschagrin, Erik D. Goodman, and Leslie A. Kuhn

Predicting Conserved Water-Mediated and Polar Ligand Interactions in Proteins Using a K-nearest-neighbors Genetic Algorithm, Michael L. Raymer, Paul C. Sanschagrin, William F. Punch, Sridhar Venkataraman, Erik D. Goodman, and Leslie A. Kuhn

Link

Sur Les Programmes Logiques Localement Stratifi'es, Anthony K. Seda and Pascal Hitzler

Link

Black Box Approach to Image Feature Manipulation used by Visual Information Retrieval Engines, Kshitij Shah, Amit P. Sheth, and Srilekha Mudumbai

PDF

From Contemporary Workflow Process Automation to Adaptive and Dynamic Work Activity Coordination and Collaboration, Amit P. Sheth

Link

Report from the NSF Workshop on Workflow and Process Automation in Information Systems, Amit P. Sheth, Dimitrios Georgakopoulos, Stef M. M. Joosten, Marek Rusinkiewicz, Walt Scacchi, Jack Wileden, and Alexander L. Wolf

PDF

The Carnot Heterogeneous Database Project: Implemented Applications, Munindar Singh, Phil Cannata, Michael N. Huhns, Nigel Jacobs, Tomasz Ksiezyk, Kayliang Ong, Amit P. Sheth, Christine Tomlinson, and Darrell Woelk

PDF

Characterizing a Portable Subset of Behavioral VHDL-93, Krishnaprasad Thirunarayan and Robert Ewing

PDF

An Error Handling Framework for the ORBWork Workflow Enactment Service of METEOR, Davasish Worah, Amit P. Sheth, Krzysztof J. Kochut, and John A. Miller

Link

Transactions in Transactional Workflows, Devashish Worah and Amit P. Sheth

Probabilistic Production Costing of Hydro and Pumped Storage Units under Chronological Load Curve, Q. Xia, Shaojun Wang, and N. Xiang

Submissions from 1996

Scheduling Workflows by Enforcing Intertask Dependencies, Paul Attie, Munindar Singh, E. A. Emerson, Amit P. Sheth, and Marek Rusinkiewicz

PDF

Spieltheorie, Alexander Chocholaty and Pascal Hitzler

Conjunctive Query Containment with Respect to View and Constraints, Guozhu Dong and Jianwen Su

PDF

Proof Strategies for Hardware Verification, Robert Eastham and Krishnaprasad Thirunarayan

Link

Metadata for Building the MultiMedia Patch Quilt, Vipul Kashyap, Kshitij Shah, and Amit P. Sheth

PDF

Semantic and Schematic Similarities Between Database Objects: A Context-Based Approach, Vipul Kashyap and Amit P. Sheth

Link

Bounding the Effects of Compensation under Relaxed Multi-Level Serializability, Piotr Krychniak, Marek Rusinkiewicz, Andrzej Cichocki, Amit P. Sheth, and Gomer Thomas

Link

Predicting and Analyzing Determinants of Water-Mediated Ligand Recognition, Leslie A. Kuhn, Michael L. Raymer, William F. Punch, Paul C. Sanschagrin, and Erik D. Goodman

PDF

Managing Multiple Information Sources through Ontologies: Relationship between Vocabulary Heterogeneity and Loss of Information, Eduardo Mena, Vipul Kashyap, Arantza Illarramendi, and Amit P. Sheth

PDF

OBSERVER: An Approach for Query Processing in Global Information Systems Based on Interoperation Across Pre-existing Ontologies, Eduardo Mena, Vipul Kashyap, Amit P. Sheth, and Arantza Illarramendi

Link

CORBA-Based Run Time Architectures for Workflow Management Systems, John A. Miller, Amit P. Sheth, Krzysztof J. Kochut, and X. Wang

PDF

Algorithms for Adapting Materialised Views in Data Warehouses, Mukesh Mohania and Guozhu Dong

Link

Genetic Programming for Improved Data Mining: Application to the Biochemistry of Protein Interactions, Michael L. Raymer, William F. Punch, Erik D. Goodman, and Leslie A. Kuhn

Link

Bellcore's ADAPT/XHarness System for Managing Information on Internet and Intranets, Amit P. Sheth

Link

Media-Independent Correlation of Information: What? How, Amit P. Sheth and Vipul Kashyap

Link

Supporting State-Wide Immunization Tracking Using Multi-Paradigm Workflow Technology, Amit P. Sheth, Krzysztof J. Kochut, John A. Miller, Devashish Worah, Chenye Lin, Devanand Palaniswami, John Lynch, and Ivan Shevchenko

PDF

On the Portability of Behavioral VHDL-93, Krishnaprasad Thirunarayan and Robert Ewing

Submissions from 1995

On the Index of Positive Programmed Formal Languages, Guozhu Dong

On Decompositions of Chain Datalog Programs into P (Left-)Linear 1-Rule Components, Guozhu Dong and Seymour Ginsburg

On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQ, Guozhu Dong, Leonid Libkin, and Limsoon Wong

Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries, Guozhu Dong and Jianwen Su

Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries, Guozhu Dong and Jianwen Su

Space-Bounded FOIES, Guozhu Dong and Jianwen Su

PDF

Nonrecursive Incremental Evaluation of Datalog Queries, Guozhu Dong, Jianwen Su, and Rodney Topor

An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure, Dimitrios Georgakopoulos, Mark Hornick, and Amit P. Sheth