Multiple imputation of missing values in a cancer mortality analysis with estimated exposure dose Fulltext Access 17 Pages 2005
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking Fulltext Access 17 Pages 2005
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming Fulltext Access 17 Pages 2005
On likelihood inference in binary mixed model with an application to COPD data Fulltext Access 17 Pages 2005
An extensive comparison of recent classification tools applied to microarray data Fulltext Access 17 Pages 2005
Testing general hypotheses under binomial sampling: the two sample case-asymptotic theory and exact procedures Fulltext Access 17 Pages 2005
Latent class models for mixed variables with applications in Archaeometry Fulltext Access 17 Pages 2005
Exact and approximate balanced data gathering in energy-constrained sensor networks Fulltext Access 17 Pages 2005
Time complexity of radio broadcasting: adaptiveness vs. obliviousness and randomization vs. determinism Fulltext Access 17 Pages 2005
A class of polynomially solvable range constraints for interval analysis without widenings Fulltext Access 17 Pages 2005
Quasi-perfect resource placements for two-dimensional toroidal networks Fulltext Access 17 Pages 2005
Randomized dynamic route maintenance for adaptive routing in multihop mobile ad hoc networks Fulltext Access 17 Pages 2005
Linear-time algorithms for computing maximum-density sequence segments with bioinformatics applications Fulltext Access 17 Pages 2005
On approximating a geometric prize-collecting traveling salesman problem with time windows Fulltext Access 17 Pages 2005
On an open problem of Amadio and Curien: The finite antichain condition Fulltext Access 17 Pages 2005
Resolution complexity of random constraint satisfaction problems: Another half of the story Fulltext Access 17 Pages 2005
Efficient parallel exponentiation in GF(qn) using normal basis representations Fulltext Access 17 Pages 2005
The approximability of non-Boolean satisfiability problems and restricted integer programming Fulltext Access 17 Pages 2005
Object and image indexing based on region connection calculus and oriented matroid theory Fulltext Access 17 Pages 2005
Fast fixed-parameter tractable algorithms for nontrivial generalizations of vertex cover Fulltext Access 17 Pages 2005
Secure distributed constraint satisfaction: reaching agreement without revealing private information Fulltext Access 17 Pages 2005
Global power system control using generator excitation, PSS, FACTS devices and capacitor switching Fulltext Access 17 Pages 2005
Analysis of small signal voltage stability in multimachine systems using detailed and reduced formulations Fulltext Access 17 Pages 2005
Non-cooperative computation: Boolean functions with correctness and exclusivity Fulltext Access 17 Pages 2005
A boundary result on enhanced time-varying distributed H systems with parallel computations Fulltext Access 17 Pages 2005
Absolute exponential stability of a class of recurrent neural networks with multiple and variable delays Fulltext Access 17 Pages 2005
Exploiting NIC architectural support for enhancing IP-based protocols on high-performance networks Fulltext Access 18 Pages 2005
A pricing strategy for job allocation in mobile grids using a non-cooperative bargaining theory framework Fulltext Access 18 Pages 2005
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems Fulltext Access 18 Pages 2005
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations Fulltext Access 18 Pages 2005
Reducing coherence overhead and boosting performance of high-end SMP multiprocessors running a DSS workload Fulltext Access 18 Pages 2005
Asynchronous backtracking without adding links: a new member in the ABT family Fulltext Access 18 Pages 2005
Novel runtime systems support for adaptive compositional modeling in PSEs Fulltext Access 18 Pages 2005
Sliding window filtering: an efficient method for incremental mining on a time-variant database Fulltext Access 18 Pages 2005
Generating page clippings from web search results using a dynamically terminated genetic algorithm Fulltext Access 18 Pages 2005
A technique for automatic component extraction from object-oriented programs by refactoring Fulltext Access 18 Pages 2005
On the computational power of probabilistic and quantum branching program Fulltext Access 18 Pages 2005
Context-free languages can be accepted with absolutely no space overhead Fulltext Access 18 Pages 2005
On the influence of the variable ordering for algorithmic learning using OBDDs Fulltext Access 18 Pages 2005
Self-healing components in robust software architecture for concurrent and distributed systems Fulltext Access 18 Pages 2005
Optimizing the steady-state throughput of scatter and reduce operations on heterogeneous platforms Fulltext Access 18 Pages 2005
On multiprocessor task scheduling using efficient state space search approaches Fulltext Access 18 Pages 2005