Linear time isotonic and unimodal regression in the L1L1 and L∞L∞ norms Fulltext Access 16 Pages 2006
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic Fulltext Access 16 Pages 2006
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method ⋆ Fulltext Access 16 Pages 2006
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools Fulltext Access 16 Pages 2006
Information sets and partial permutation decoding for codes from finite geometries Fulltext Access 16 Pages 2006
On geodesic structures of weakly median graphs—II: Compactness, the role of isometric rays Fulltext Access 16 Pages 2006
Solitary and edge-minimal bases for representations of the simple lie algebra G2G2 Fulltext Access 16 Pages 2006
Application of an optimization problem in Max-Plus algebra to scheduling problems Fulltext Access 16 Pages 2006
Faster core-set constructions and data-stream algorithms in fixed dimensions Fulltext Access 16 Pages 2006
A Lagrangian heuristic algorithm for a real-world train timetabling problem Fulltext Access 16 Pages 2006
Non-normal one-regular and 4-valent Cayley graphs of dihedral groups D2nD2n Fulltext Access 17 Pages 2006
Decomposition of almost complete tripartite graphs into two isomorphic factors of fixed diameter Fulltext Access 17 Pages 2006
Dense near polygons with hexes of type HD(5,q2), Q(5,q)×Lq+1 or Q(5,q)⊗Q(5,q) Fulltext Access 17 Pages 2006
New Hadamard matrices of order 4p2 obtained from Jacobi sums of order 16 Fulltext Access 17 Pages 2006
On the classification of all self-dual additive codes over GF(4) of length up to 12 Fulltext Access 17 Pages 2006
Minimal 1-saturating sets and complete caps in binary projective spaces Fulltext Access 17 Pages 2006
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields Fulltext Access 17 Pages 2006
A Classification of Time and/or Probability Dependent Security Properties Fulltext Access 17 Pages 2006
Efficient Patterns for Model Checking Partial State Spaces in CTL ∩ LTL Fulltext Access 17 Pages 2006
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis Fulltext Access 17 Pages 2006
Applying a Model Transformation Taxonomy to Graph Transformation Technology Fulltext Access 17 Pages 2006
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic Fulltext Access 17 Pages 2006
AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars Fulltext Access 17 Pages 2006
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision Fulltext Access 17 Pages 2006