Follow

Submissions from 2014

PDF

ParaSCAN: A Static Profiler to Help Parallelization, Ganesha Upadhyaya, Hridesh Rajan, and Tyler Sondag

Submissions from 2013

PDF

EvoMiner: Frequent Subtree Mining in Phylogenetic Databases, Akshay Deepak, David Fernández-Baca, Srikanta Tirthapura, Michael J. Sanderson, and Michelle M. McMahon

Submissions from 2011

PDF

EvoMiner: Frequent Subtree Mining in Phylogenetic Databases, Akshay Deepak, David Fernández-Baca, Srikanta Tirthapura, Michael J. Sanderson, and Michelle M. McMahon

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

Motif Recognition, Sushain Pandit, Susan R. VanderPlas, and Chaoliang Zhang

PDF

Motif Recognition, Sushain Pandit, Susan R. VanderPlas, and Chaoliang Zhang

Submissions from 2006

PDF

Reconciling Gene Trees with Apparent Polytomies, Wen-Chieh Chang and Oliver Eulenstein

PDF

The Complete MLSK Model - incorporation of lattice operations and XML implementation, Ruchi Dhingra, Natalia Stakhanova, and Hua Ming

PDF

Roadmap for Enhanced Languages and Methods to Aid Verification, Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R. Smith, and Aaron Stump

PDF

Roadmap for Enhanced Languages and Methods to Aid Verification, Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R. Smith, and Aaron Stump

PDF

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

PDF

A Multilevel Secure Relational Database Model with key-polyinstantiation, Natalia Stakhanova and Ruchi Dhingra

Submissions from 2003

PDF

An XML Plagiarism Detection Model for Procedural Programming Languages, Seo-Young Noh

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

Submissions from 2002

PDF

The Complete MLSK Model—incorporation of lattice operations and XML implementation, Ruchi Dhingra, Natalia Stakhanova, and Ming Hua

PDF

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

PDF

A Multilevel Secure Relational Database Model with key-polyinstantiation, Natalia Stakhanova and Ruchi Dhingra

PDF

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

Submissions from 2001

PDF

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, Yoonsik Cheon and Gary T. Leavens

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

The Concept of Error in a Database: An Application of Temporal Databases, Gautam Bhargava and Shashi K. Gadia

PDF

Applicability of Temporal Data Models to Query Multilevel Security Databases: A Case Study, Shashi K. Gadia

Submissions from 1995

PDF

Analysis of Decision Boundaries Generated by Constructive Neural Network Learning Algorithms, Chun-Hsien Chen, R. G. Parekh, J. Yang, Karthik Balakrishnan, and Vasant Honavar

PDF

Linear-Time Algorithms for Parametric Minimum Spanning Tree Problems on Planar Graphs, David Fernández-Baca and Giora Slutzki

Submissions from 1994

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

Submissions from 1993

PDF

Toward Learning Systems That Integrate Different Strategies and Representations, Vasant Honavar

Submissions from 1992

PDF

A Taxonomy of Automatic Differential Tools, David W. Juedes