Library

Export 1457 results:
Filters: Tools is tcruzikb and Demo is   [Clear All Filters]
1996
E. Goodman, L. Kuhn, W. Punch, Michael Raymer, P. Sanschagrin. Resolving Water-Mediated and Polar Ligand Recognition Using Genetic Algorithms. In 1996.
M. Singh, E. Emerson, Marek Rusinkiewicz, Amit Sheth, P. Attiel. Scheduling Workflows by Enforcing Intertask Dependencies. Distributed Systems Engineering. 1996 ;:222-238.  (264.57 KB)
Amit Sheth, Vipul Kashyap. Schematic and Semantic Similarities between Database Objects: A Context-based Approach. VLDB Journal. 1996 ;.  (454.96 KB)
Vipul Kashyap, Amit Sheth. Semantic and Schematic Similarities Between Database Objects: A Context-Based Approach. 1996 ;.
Alexander Chocholaty, Pascal Hitzler. Spieltheorie. In 1996.  (0 bytes)
Amit Sheth, Krys Kochut, John Miller, Devashish Worah, Souvik Das, Chenye Lin. Supporting State-Wide Immunization Tracking Using Multi-Paradigm Workflow Technology. In 22nd International Conference on Very Large Data Bases. Bombay, India; 1996. p. 263-273.  (574.94 KB)
D. Lin, J. Lynch, John Miller, Devan Palaniswami, Amit Sheth, D. Worah, S. Das, I. Shevchenko, Krzysztof Kochut. Supporting State-wide Immunization Tracking Using Multi-Paradigm Workflow Technology. In Supporting State-wide Immunization Tracking Using Multi-Paradigm Workflow Technology. Bombay, India; 1996. p. 263-273.  (432.35 KB)
1995
Seymour Ginsburg, Guozhu Dong. On decompositions of chain datalog programs into P (left)-linear 1-rule components. 1995 ;.
Krishnaprasad Thirunarayan. On the Equivalence of Upward and Downward Inheritance Reasoners. 1995 ;.  (0 bytes)
P. Sanschagrin, E. Goodman, W. F. Punch III, L. Kuhn, Michael Raymer. Genetic Algorithm Prediction of Water-mediated Ligand Interactions and the Implications for the Chemistry of Water Binding. In 1995.
Guozhu Dong, Leonid Libkin, Limsoon Wong. On impossibility of decremental recomputation of recursive queries in relational calculus and SQ. In Fifth International Database Programming Languages Workshop; 1995.
Guozhu Dong, Jianwen Su. Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries. 1995 ;.
Jianwen Su, Guozhu Dong. Incremental boundedness and nonrecursive incremental evaluation of datalog queries (extended abstract). In Incremental boundedness and nonrecursive incremental evaluation of datalog queries (extended abstract). 1995.
Guozhu Dong. On the index of positive programmed formal languages. 1995 ;.
Vipul Kashyap, Leon Shklar, Satish Thatte, Amit Sheth. InfoHarness: A System for Search and Retrieval of Heterogeneous Information. In Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data. New York, NY, USA; 1995.  (96.55 KB)
Leon ShkIar, Amit Sheth, Vipul Kashyap, Kshitij Shah. InfoHarness: Use of Automatically Generated Metadata for Search and Retrieval of Heterogeneous Information. In InfoHarness: Use of Automatically Generated Metadata for Search and Retrieval of Heterogeneous Information. Jyväskylä, Finland; 1995. p. 217-230.  (243.59 KB)
Krishnaprasad Thirunarayan. Local Theories of Inheritance. 1995 ;.  (0 bytes)
N. Krishnakumar, Amit Sheth. Managing Heterogeneous Multi-system Tasks to Support Enterprise-wide Operations. 1995 ;:155-186.  (280.34 KB)
N. Krishnakumar, Amit Sheth. Managing Heterogeneous Multi-system Tasks to Support Enterprise-wide Operations. 1995 ;.
Vipul Kashyap, Amit Sheth, K. Shah. Metadata for Building the MultiMedia Patch Quilt. In 1995.  (213.75 KB)
Guozhu Dong, Jianwen Su, Rodney Topor. Nonrecursive Incremental Evaluation of Datalog Queries. 1995 ;.
D. Georgakopoulos, M. Hornick, Amit Sheth. An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases. 1995 ;:119-153.  (117.83 KB)
E. Goodman, P. Sanschagrin, W. Punch, Michael Raymer, L. Kuhn. Predicting and Analyzing Determinants of Water-Mediated Ligand Recognition. In 1995.
S. Venkataraman, Michael Raymer, W. Punch, L. Kuhn, E. Goodman. Predicting Conserved Water-Mediated Interactions in Protein Active Sites. In 1995.
L. Kuhn, Michael Raymer, E. Goodman, W. Punch, M. Pei. Prediction of Conserved Water Sites Between Independently Solved Protein Structures Using a Genetic Algorithm and a K Nearest Neighbor Classifier. In 1995.
S. Shahidehpour, Shaojun Wang, N. Xiang. Probabilistic Marginal Cost Curve and Its Applications. 1995 ;.  (0 bytes)
K. Thirunarayan. On the Relationship between Annotated Logic Programs and Nonmonotonic Formalisms. 1995 ;.
S. Shahidehpour, Shaojun Wang, S. Mokhtari, D. Kirschen, G. Irisarri. Short-Term Generation Scheduling with Transmission and Environmental Constraints Using an Augmented Lagrangian Relaxation. 1995 ;.  (0 bytes)
John Miller, Krzysztof Kochut, X. Wang, A. Murugan, Amit Sheth. Simulation Modeling with Workflow Technology. In Simulation Modeling with Workflow Technology. Arlington, VA; 1995.  (117.17 KB)
Guozhu Dong, Jianwen Su. Space bounded FOIES. In Space bounded FOIES. 1995.
Amit Sheth, Marek Rusinkiewicz. Specification and Execution of Transactional Workflows. In 1995.  (244.06 KB)
1994
Qing Li, Guozhu Dong. A framework for object migration in object-oriented databases. 1994 ;.
S. Thatte, Amit Sheth, L. Shklar, H. Marcus. The InfoHarness Information Integration Platform. In The InfoHarness Information Integration Platform. Chicago, IL; 1994.  (59.76 KB)
Narayanan Krishnakumar, Amit Sheth. Managing Heterogenous Multi-system Tasks to Support Enterprise-wide Operations. In 1994.  (1.9 MB)
Krishnaprasad Thirunarayan. A Meta-Interpreter for Circuit-Extraction. In A Meta-Interpreter for Circuit-Extraction. 1994.  (0 bytes)
N. Xiang, Q. Xia, Shaojun Wang. Probabilistic Production Costing under Chronological Load Curve. 1994 ;.
H. Korth, Amit Sheth. Proceedings of the 3rd International Conference on Parallel and Distributed Information Systems, September 1994. In 1994.
Vipul Kashyap, C. Wood, Amit Sheth. Q-Data: Using Deductive Database Technology to Improve Data Quality. In 1994.  (236.45 KB)
Vipul Kashyap, Amit Sheth. Semantics-based Information Brokering. In Semantics-based Information Brokering. Hong Kong, China : Proceedings of the 3rd International Conference on Information and Knowledge Management, November 1994; 1994. p. 363-370.  (196.95 KB)
Amit Sheth, D. Georgakopoulos, Marek Rusinkiewicz. Using Tickets to Enforce the Serializability of Multidatabase Transactions. IEEE Transactions on Data and Knowledge Engineering. 1994 ;:166-188.  (270.7 KB)
1993
Amit Sheth, S. Gala, S. Navathe. On Automatic Reasoning for Schema Integration. International Journal of Intelligent & Cooperative Information Systems. 1993 ;:23-50.  (663.44 KB)
K. Davis, A. Heuer, Guozhu Dong. Discussion Report: Object Migration and Classification. 1993.
Krishnaprasad Thirunarayan. Expressive Extensions to Inheritance Networks. In Expressive Extensions to Inheritance Networks. 1993.
Jianwen Su, Guozhu Dong. First-order incremental evaluation of datalog queries. 1993 ;.
K. Lee, W. Mansfield, Amit Sheth. A Framework for Controlling Cooperative Agents. Computer. 1993 ;:8-16.  (923.25 KB)
Amit Sheth, Marek Rusinkiewicz, G. Karabatis. Issues in Managing Interdependent Data: Correctness and Enforcement of Specification. In 1993.
Krishnaprasad Thirunarayan. Locality in Inheritance Networks. 1993 ;.
Guozhu Dong. On the monotonicity of (LDL) logic programs with sets. 1993 ;.
Amit Sheth, H-J. Schek, B. Czjedo. Proceedings of the 3rd RIDE International Workshop on Interoperability in Multidatabase Systems (RIDE IMS-93), Vienna, Austria, April 19 - 20, 1993. In 1993.
Vipul Kashyap, Amit Sheth. Semantics-based Information Brokering: A step towards realizing the Infocosm. 1993.  (238.7 KB)

Pages