Mixed Nash equilibria in selfish routing problems with dynamic constraints Fulltext Access 17 Pages 2008
Nonstochastic bandits: Countable decision set, unbounded costs and reactive environments Fulltext Access 17 Pages 2008
On complexity functions of infinite words associated with generalized Dyck languages Fulltext Access 17 Pages 2008
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems Fulltext Access 17 Pages 2008
Multi-group support vector machines with measurement costs: A biobjective approach Fulltext Access 17 Pages 2008
Analysis of sharp polynomial upper estimate of number of positive integral points in a five-dimensional tetrahedra Fulltext Access 17 Pages 2008
An identity of Andrews and a new method for the Riordan array proof of combinatorial identities Fulltext Access 17 Pages 2008
A complete solution to the chromatic equivalence class of graph Bn-7,1,3¯ Fulltext Access 17 Pages 2008
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Fulltext Access 17 Pages 2008
Computability of Topological Pressure for Shifts of Finite Type with Applications in Statistical Physics Fulltext Access 17 Pages 2008
Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking Fulltext Access 17 Pages 2008
A Functional Algorithm for Exact Real Integration with Invariant Measures Fulltext Access 17 Pages 2008
Platform Independent Timing of Java Virtual Machine Bytecode Instructions Fulltext Access 17 Pages 2008
Systems of sets such that each set properly intersects at most one other set—Application to cluster analysis Fulltext Access 17 Pages 2008
Unification of lower-bound analyses of the lift-and-project rank of combinatorial optimization polyhedra Fulltext Access 17 Pages 2008
Coloring graphs by iterated local search traversing feasible and infeasible solutions Fulltext Access 17 Pages 2008
A distributional study of the path edge-covering numbers for random trees Fulltext Access 17 Pages 2008
Heyting algebras with Boolean operators for rough sets and information retrieval applications Fulltext Access 17 Pages 2008
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components Fulltext Access 17 Pages 2008
Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata Fulltext Access 17 Pages 2008
Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks Fulltext Access 17 Pages 2008
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees ⋆ Fulltext Access 17 Pages 2008
Schedulability Criteria and Analysis for Dynamic and Flexible Resource Management Fulltext Access 17 Pages 2008
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents Fulltext Access 17 Pages 2008