Maximum Likelihood of Evolutionary Trees Is Hard
RIBRA - An Error-Tolerant Algorithm for the NMR Backbone Assignment Problem
Real-Time Decision Making for Large POMDPs
Error Bounds in Reinforcement Learning Policy Evaluation
Quick Spatial Outliers Detecting with Random Sampling
On the Role of the Markov Condition in Causal Reasoning
Fast Protein Superfamily Classification Using Principal Component Null Space Analysis
A Bayesian Model to Smooth Telepointer Jitter
Performance Analysis of Secure Multipath Routing Protocols for Mobile Ad Hoc Networks
A Methodology for Implementing a Stress Workload Generator for the GTP-U Plane
Content-Aware Packet-Level Interleaving Method for Video Transmission over Wireless Networks
TeStor: Deriving Test Sequences from Model-Based Specifications
Efficient Upgrading in a Purely Functional Component Deployment Model
Learning Interpretable SVMs for Biological Sequence Classification
The Factor Graph Network Model for Biological Systems
Generating Adaptive Multimedia Presentations Based on a Semiotic Framework
A Novel Use of VXML to Construct a Speech Browser for a Public-Domain Speech Web
Adjectives: A Uniform Semantic Approach
A Supervised Learning Approach to Acronym Identification
A Document Browsing Tool: Using Lexical Classes to Convey Information
A Logic of Inductive Implication or Artificial Intelligence Meets Philosophy of Science II
Probability and Equality: A Probabilistic Model of Identity Uncertainty
SWAMI: Searching the Web Using Agents with Mobility and Intelligence
Space Travel: When "Space" is a Metaphor
Reusable Dialog Component Framework for Rapid Voice Application Development
A CCA-compliant Nuclear Power Plant Simulator Kernel
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations
A Linear-Time Algorithm for the Perfect Phylogeny Haplotyping (PPH) Problem
Modeling the Combinatorial Functions of Multiple Transcription Factors
Amino Acid Sequence Control of the Folding of the Parallel beta-Helix, the Simplest beta-Sheet Fold
Using Multiple Alignments to Improve Gene Prediction
EigenMS: De Novo Analysis of Peptide Tandem Mass Spectra by Spectral Graph Partitioning
Multi Class Adult Image Classification Using Neural Networks
Integrating Web Content Clustering into Web Log Association Rule Mining
Queuing Local Solutions in Distributed Constraint Satisfaction Systems
ARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems
A Contracting System for Hierarchical Components
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles
Recognition of Binding Patterns Common to a Set of Protein Structures
A High-Throughput Approach for Associating microRNAs with Their Activity Conditions
Pairwise Local Alignment of Protein Interaction Networks Guided by Models of Evolution
Automatic Identification of Parallel Documents With Light or Without Linguistic Resources
Modelling an Academic Curriculum Plan as a Mixed-Initiative Constraint Satisfaction Problem
A Decision Theoretic Meta-reasoner for Constraint Optimization
On the Service Differentiation Capabilities of EY-NPMA and 802.11 DCF
Efficient Multicast Trees with Local Knowledge on Wireless Ad Hoc Networks