ERSHOV 2006 - PDF Preprint Papers

ERSHOV 2006 International Sympoisum on Theoretical Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ERSHOV-2006 Paper

click to vote

ERSHOV
2006
Springer

58views Theoretical Computer Science» more ERSHOV 2006»

Linear Complementarity and P-Matrices for Stochastic Games

1 years 9 months ago

Download www.dbai.tuwien.ac.at

Abstract. We define the first nontrivial polynomially recognizable subclass of P-matrix Generalized Linear Complementarity Problems (GLCPs) with a subexponential pivot rule. No suc...

Ola Svensson, Sergei G. Vorobyov

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	58	Linear Complementarity and P-Matrices for Stochastic Games	claim
2	54	Well-Structured Model Checking of Multiagent Systems	claim
3	51	A Versioning and Evolution Framework for RDF Knowledge Bases	claim
4	48	An ASM Semantics of Token Flow in UML 2 Activity Diagrams	claim
5	46	Formal Methods in Industrial Software Standards Enforcement	claim
6	45	An Agent-Based Architecture for Dialogue Systems	claim
7	44	Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction	claim
8	43	Security for Multithreaded Programs Under Cooperative Scheduling	claim
9	42	On the Usage of Concrete Syntax in Model Transformation Rules	claim
10	42	Improving Semistatic Compression Via Pair-Based Coding	claim
11	41	A Knowledge Portal for Cultural Information Resources: Towards an Architecture	claim
12	41	On the Importance of Parameter Tuning in Text Categorization	claim
13	40	RapidOWL - An Agile Knowledge Engineering Methodology	claim
14	40	Streaming Networks for Coordinating Data-Parallel Programs	claim
15	39	Solution Strategies for Multi-domain Constraint Logic Programs	claim
16	38	Chase of Recursive Queries	claim
17	38	Information-Flow Attacks Based on Limited Observations	claim
18	38	A Formal Model of Data Privacy	claim
19	37	Verifying Generalized Soundness of Workflow Nets	claim
20	36	A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules	claim
21	34	Visual Rules Modeling	claim
22	28	Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method	claim
23	25	TTCN-3 for Distributed Testing Embedded Software	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers