Follow

Submissions from 2014

PDF

Open Effects: A Hybrid Type-and-Effect System to Tackle Open World Assumption and its Application to Optimistic Concurrency, Yuheng Long, Mehdi Bagherzadeh, and Hridesh Rajan

Submissions from 2012

PDF

Enumerating All Maximal Frequent Subtrees, Akshay Deepak and David Fernández-Baca

PDF

Open Effects, Yuheng Long

Submissions from 2011

PDF

Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction, Adrian Silvescu and Vasant Honavar

PDF

On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars (Supplementary Material), Kewei Tu and Vasant G. Honavar

Submissions from 2010

PDF

A Type-and-Effect System for Shared Memory, Concurrent Implicit Invocation Systems, Yuheng Long and Hridesh Rajan

PDF

A PSpace Tableau Algorithm for Acyclic Modalized ALC, Jia Tao, Giora Slutzki, and Vasant Honavar

PDF

Secrecy-preserving Query Answering for Instance Checking in EL, Jia Tao, Giora Slutzki, and Vasant Honavar

Submissions from 2009

PDF

A Framework for Estimating the Applicability of GAs for Real‐World Optimization Problems, Hsin-yi Jiang

PDF

A Framework for Estimating the Applicability of GAs for Real‐World Optimization Problems, Hsin-yi Jiang

PDF

Determining the Statistical Significance of Rules for Rule-based Knowledge-extraction Algorithms, Sushain Pandit, Sateesh Kumar Kodavali, and Krishnakumar Sridharan

PDF

A Dominance Relation for Unconditional Multi-Attribute Preferences, Ganesh Ram Santhanam, Samik Basu, and Vasant Honavar

Submissions from 2008

PDF

Package-based Description Logics, Jie Bao, George Voutsadakis, Giora Slutzki, and Vasant Honavar

PDF

Visualizing the MPI Programs: Using Continuous Semantic Zooming, Banda KalyanaChakravarthy

PDF

On a robust document classification approach using TF-IDF scheme with learned, context-sensitive semantics., Sushain Pandit

PDF

Unsupervised Learning of Probabilistic Context-Free Grammar using Iterative Biclustering (Extended Version), Kewei Tu and Vasant Honavar

Submissions from 2007

PDF

A Semantic Importing Approach to Reusing Knowledge from Multiple Autonomous Ontology Modules, Jie Bao, Giora Slutzki, and Vasant Honavar

PDF

Privacy-Preserving Reasoning on the Semantic Web, Jie Bao, Giora Slutzki, and Vasant Honavar

PDF

Improving the Reliability of Causal Discovery from Small Data Sets using the Argumentation Framework, Facundo Bromberg and Dimitris Margaritis

PDF

MICCLLR: A Generalized Multiple-Instance Learning Algorithm Using Class Conditional Log Likelihood Ratio, Yasser Mohamed El-manzalawy and Vasant Honavar

PDF

Polynomial Constraints in Causal Bayesian Networks, Changsung Kang and Jin Tiang

Submissions from 2006

PDF

On the Semantics of Linking and Importing in Modular Ontologies, Jie Bao, Doina Caragea, and Vasant Honavar

PDF

Towards Collaborative Environments for Ontology Construction and Sharing, Jie Bao, Doina Caragea, and Vasant Honavar

PDF

A Tableau-based Federated Reasoning Algorithm for Modular Ontologies, Jie Bao, Doina Caragea, and Vasant G. Honavar

PDF

Optimization Rules in DLV for the Bridge Crossing Problem, Sayan Ranu, Prabhakar Balakrishnan, and Gurpur M. Prabhu

Submissions from 2005

PDF

Reconciling Inconsistencies Between Package-extended Ontology Modules, Jie Bao and Vasant Honavar

PDF

Visual Methods for Examining Support Vector Machine Results, with Applications to Gene Expression Data Analysis, Doina Caragea, Dianne Cook, and Vasant G. Honavar

PDF

Learning Classifiers from Distributed, Ontology-Extended Data Sources, Doina Caragea, Jun Zhang, Jyotishman Pathak, and Vasant G. Honavar

PDF

Learning Classifiers for Misuse and Anomaly Detection Using a Bag of System Calls Representation, Dae-Ki Kang, Doug Fuller, and Vasant Honavar

PDF

Multinomial Event Model Based Abstraction for Sequence and Text Classification, Dae-Ki Kang, Jun Zhange, Adrian Silvescu, and Vasant Honavar

PDF

A Comparison of Two Approaches to Utilizing XML in Parametric Databases for Temporal Data, Seo-Young Noh and Shashi K. Gadia

PDF

Discovering Web Services over the Semantic Web, Jyotishman Pathak, Neeraj Koul, Doina Caragea, and Vasant Honavar

PDF

Learning Hierarchical Classifiers with Class Taxonomies, Feihong Wu and Jun Zhang

Submissions from 2004

PDF

Collaborative Ontology Building with Wiki@nt - A multi-agent based ontology building environment, Jie Bao and Vasant Honavar

PDF

Ontology Language Extensions to Support Localized Semantics, Modular Reasoning, and Collaborative Ontology Design and Ontology Reuse, Jie Bao and Vasant Honavar

PDF

Distribution-Free Learning of Graphical Model Structure in Continuous Domains, Dimitris Margaritis

PDF

Learning Naive Bayes Classifiers From Attribute Value Taxonomies and Partially Specified Data, Jun Zhang and Vasant Honavar

Submissions from 2003

PDF

RAST: Requirement Analysis Support Tool based on Linguistic Information, Seo-Young Noh and Shashi K. Gadia

PDF

RAST: Requirement Analysis Support Tool based on Linguistic Information, Seo-Young Noh and Shashi K. Gadia

PDF

Query-friendly Compression and Indexing of Recurring Structures in XML Documents, Satish Vemula, Justin Hare, and Seo-Young Noh

Submissions from 2002

PDF

General Purpose Cellular Automata Programming, Wei Huang

PDF

Linear Time Construction of Suffix Arrays, Pang Ko and Aluru Srinivas

PDF

Automated Data-Driven Discovery of Motif-Based Protein Function Classifiers, Xiangyun Wang, Diane Schroeder, Drena Dobbs, and Vasant Honavar

PDF

Predicting Protein-Protein Interaction Sites From Amino Acid Sequence, Changhui Yan, Vasant Honavar, and Drena Dobbs

PDF

Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction, Jun Zhang, Adrian Silvescu, and Vasant G. Honavar

Submissions from 2001

PDF

Potential Function Explain of the Quick Algorithm of Synergetic Neural Network, Jie Bao

PDF

Geometry and Computation of Antipodal Points on Plane Curves, Yan-Bin Jia

Submissions from 2000

PDF

A Run-time Assertion Checker for Java using JML, Abhay Bhorkar

PDF

MIgories: an abstract model for interaction, Adrian Silvescu and Vasant Honavar

PDF

Formal Semantics and Soundness of an Algorithm, Tim Wahls and Gary T. Leavens

PDF

Executing Formal Specifications with Constraint Programming, Tim Wahls, Gary T. Leavens, and Albert L. Baker

Submissions from 1999

PDF

An Overview of Larch/C++: Behavioral Specifications for C++ Modules, Gary T. Leavens

PDF

ACL -- Eliminating Parameter Aliasing with Dynamic Dispatch, Gary T. Leavens and Olga Antropova

PDF

Synthesizing Fast Intrusion Prevention/Detection Systems from High-Level Specifications, R. Sekar and P. Uppuluri

Submissions from 1998

PDF

Evaluating the Expressiveness of a Multimethod Object-Oriented Programming Language, Sevtap Otles Karakoy

PDF

Preliminary Design of JML: A Behavioral Interface Specification, Gary T. Leavens, Albert L. Baker, and Clyde Ruby

PDF

Multiple Dispatch as Dispatch on Tuples, Gary T. Leavens and Todd Millstein

Submissions from 1997

PDF

Spatial Learning and Localization in Animals: A Computational Model and Its Implications for Mobile Robots, Karthik Balakrishnan and Olivier Bousquet

PDF

Spatial Learning for Robot Locialization, Karthik Balakrishnan and Vasant Honavar

PDF

Spatial Memory Structures for Sensor-Guided Robot Navigation, Karthik Balakrishnan and Vasant G. Honavar

PDF

Is the Hippocampus a Kalman Filter?, Olivier Bousquet, Karthik Balakrishnan, and Vasant Honavar

PDF

An Overview of Larch/C++: Behavioral Specifications for C++ Modules, Gary T. Leavens

PDF

Protective Interface Specifications, Gary T. Leavens and Jeannette M. Wing

PDF

Learning DFA for Simple Examples, Rajesh G. Parekh and Vasant Honavar

PDF

A Polynomial Time Incremental Algorithm for Regular Grammar Inference, Rajesh G. Parekh, Codrin Nichitiu, and Vasant Honavar

PDF

DistAl: An Inter-pattern Distance-based Constructive Learning Algorithm, Jihoon Yang, Rajesh G. Parekh, and Vasant Honavar

PDF

Power System Security Margin Prediction Using Radial Basis Function Networks, Guozhong Zhou, James D. McCalley, and Vasant Honavar

Submissions from 1996

PDF

Intelligent Diagnosis Systems, Karthik Balakrishnan and Vasant Honavar

PDF

Modeling and Simulating Computer Networks Using Formalized Data Flow Diagrams, Michael D. Haverdink, Albert L. Baker, and Armin Mikler

PDF

Polymorphic Type-Checking in Scheme, Steven L. Jenkins and Gary T. Leavens

PDF

Compression Depth and the Behavior of Cellular Automata, James I. Lathrop

PDF

Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages, Gary T. Leavens, Tim Wahls, and Albert L. Baker

PDF

An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams, Gary T. Leavens, Tim Wahls, Albert L. Baker, and Kari Lyle

PDF

An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams, Gary T. Leavens, Tim Wahls, Albert L. Baker, and Kari Lyle

PDF

Stochastic Analysis of Periodic Timed Data Flow Diagrams with Markovian Transition Times, Jürgen Symanzik

PDF

Formalized Data Flow Diagrams and Their Relation to Other Computational Models, Jürgen Symanzik and Albert L. Baker

PDF

Non-Atomic components of Data Flow Diagrams: Stores, Persistent Flows, and Tests for Empty Flows, Jürgen Symanzik and Albert L. Baker

PDF

Subclasses of Formalized Data Flow Diagrams: Monogeneous, Linear & Topologically Free Choice RDFD's, Jürgen Symanzik and Albert L. Baker

Submissions from 1995

PDF

Evolutionary Design of Neural Architectures -- A Preliminary Taxonomy and Guide to Literature, Karthik Balakrishnan and Vasant Honavar

PDF

On Binary Methods, Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce

PDF

A Neural Memory Architecture for Content As Well As Address-Based Storage & Recall: Theory and Applications, Chun-Hsien Chen and Vasant Honavar

PDF

A Neural Network Architecture for High-Speed Database Query Processing, Chun-Hsien Chen and Vasant Honavar

PDF

A Neural Network Architecture for Syntax Analysis, Chun-Hsien Chen and Vasant Honavar

PDF

Simple Stochastic Temporal Constraint Networks, Vadim Kirillov and Vasant Honavar

PDF

A Physical Example for Teaching Curried Functions, Gary T. Leavens

PDF

Design and Implementation of the Larch/C++ Type System, Matthew W. Markland

PDF

Utility-Theoretic Heuristics for Intelligent Adaptive Routing in Large Communcation Networks, Armin Mikler, Vasant Honavar, and Johnny S. Wong

PDF

An Object Oriented Approach to Modeling and Simulation of Routing in Large Communication Networks, Armin Mikler, Johnny S. Wong, and Vasant Honavar

PDF

Quo Vadis - Adaptive Heuristics for Routing in Large Communication Networks, Armin Mikler, Johnny S. Wong, and Vasant Honavar

PDF

An Efficient Interactive Algorithm for Regular Language Learning, Rajesh G. Parekh and Vasant Honavar

PDF

Constructive Neural Network Learning Algorithms for Multi-Category Pattern Classification, Rajesh G. Parekh, Jihoon Yang, and Vasant Honavar

Submissions from 1994

PDF

Local Variable Allocation For Accurate Garbage Collection of C++, Ravichandran Ganesan

PDF

Reliable General Purpose Dynamic Memory Management for Real, Hong Gao and Kelvin Nilsen

PDF

Generational Garbage Collection of C++ Targeted to SPARC Architectures, Satish K. Guggilla

PDF

Symbolic Artificial Intelligence and Numeric Artificial Neural Networks: Towards A Resolution of the Dichotomy, Vasant Honavar

PDF

Symbolic Artificial Intelligence, Connectionist Networks & Beyond., Vasant Honavar and Leonard Uhr

PDF

Parametric Micro-level Performance Models for Parallel Computing, Youngtae Kim, Mark Fienup, Jeffrey S. Clary, and Suresh C. Kothari

PDF

Blended Algebraic and Denotational Semantics for ADT Languages with Mutable Objects, Gary T. Leavens and Krishna Kishore Dhara

PDF

Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs, Gary T. Leavens and William E. Weihl

PDF

Quo Vadis-A Framework for Intelligent Routing in Large Communication Networks., Armin Mikler, Johnny S. Wong, and Vasant Honavar