export record as
dblp key:
journals/corr/abs-1209-1699 Gordon J. Pace ,
Anders P. Ravn (Eds.):
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software.
EPTCS 94 2012
Contents
export record as
dblp key:
journals/corr/abs-1209-1700 V. P. Patil :
Performance Evaluation of on demand and Table driven Protocol for Wireless Ad hoc Network.
export record as
dblp key:
journals/corr/abs-1209-1711 export record as
dblp key:
journals/corr/abs-1209-1716 export record as
dblp key:
journals/corr/abs-1209-1719 export record as
dblp key:
journals/corr/abs-1209-1734 export record as
dblp key:
journals/corr/abs-1209-1738 export record as
dblp key:
journals/corr/abs-1209-1739 export record as
dblp key:
journals/corr/abs-1209-1750 Daniel Grier :
Deciding the Winner of an Arbitrary Finite Poset Game is PSPACE-Complete.
export record as
dblp key:
journals/corr/abs-1209-1759 export record as
dblp key:
journals/corr/abs-1209-1763 export record as
dblp key:
journals/corr/abs-1209-1788 export record as
dblp key:
journals/corr/abs-1209-1794 export record as
dblp key:
journals/corr/abs-1209-1797 export record as
dblp key:
journals/corr/abs-1209-1800 Rui Wang ,
Ke Tang :
An Empirical Study of MAUC in Multi-class Problems with Uncertain Cost Matrices.
export record as
dblp key:
journals/corr/abs-1209-1803 Jaydip Sen :
Secure and Privacy-Preserving Authentication Protocols for Wireless Mesh Networks.
export record as
dblp key:
journals/corr/abs-1209-1811 export record as
dblp key:
journals/corr/abs-1209-1859 export record as
dblp key:
journals/corr/abs-1209-1885 Simon Kramer ,
Joshua Sack :
Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief).
export record as
dblp key:
journals/corr/abs-1209-1887 export record as
dblp key:
journals/corr/abs-1209-1899 Yuming Xu :
A matrix approach for computing extensions of argumentation frameworks.
export record as
dblp key:
journals/corr/abs-1209-1905 export record as
dblp key:
journals/corr/abs-1209-1910 export record as
dblp key:
journals/corr/abs-1209-1911 export record as
dblp key:
journals/corr/abs-1209-1916 export record as
dblp key:
journals/corr/abs-1209-1942 A. Emre Cetin :
Sorting distinct integer keys using in-place associative sort.
export record as
dblp key:
journals/corr/abs-1209-1943 export record as
dblp key:
journals/corr/abs-1209-1949 export record as
dblp key:
journals/corr/abs-1209-1960 export record as
dblp key:
journals/corr/abs-1209-1977 export record as
dblp key:
journals/corr/abs-1209-1983 export record as
dblp key:
journals/corr/abs-1209-2012 export record as
dblp key:
journals/corr/abs-1209-2035 export record as
dblp key:
journals/corr/abs-1209-2039 export record as
dblp key:
journals/corr/abs-1209-2058 export record as
dblp key:
journals/corr/abs-1209-2066 export record as
dblp key:
journals/corr/abs-1209-2067 export record as
dblp key:
journals/corr/abs-1209-2070 Yi Wang :
Content-based Multi-media Retrieval Technology.
export record as
dblp key:
journals/corr/abs-1209-2079 export record as
dblp key:
journals/corr/abs-1209-2082 Guangcan Liu ,
Yi Ma :
Blind Image Deblurring by Spectral Properties of Convolution Operators.
export record as
dblp key:
journals/corr/abs-1209-2086 export record as
dblp key:
journals/corr/abs-1209-2097 Nadja Kutz :
Semantic web applications with regard to math and environment.
export record as
dblp key:
journals/corr/abs-1209-2131 export record as
dblp key:
journals/corr/abs-1209-2137 export record as
dblp key:
journals/corr/abs-1209-2138 export record as
dblp key:
journals/corr/abs-1209-2139 export record as
dblp key:
journals/corr/abs-1209-2154 export record as
dblp key:
journals/corr/abs-1209-2166 export record as
dblp key:
journals/corr/abs-1209-2171 export record as
dblp key:
journals/corr/abs-1209-2178 export record as
dblp key:
journals/corr/abs-1209-2179 export record as
dblp key:
journals/corr/abs-1209-2184 export record as
dblp key:
journals/corr/abs-1209-2185 export record as
dblp key:
journals/corr/abs-1209-2189 Najmeh Kamyabpour ,
Doan B. Hoang :
Statistical Analysis to Extract Effective Parameters on Overall Energy Consumption of Wireless Sensor Network (WSN).
export record as
dblp key:
journals/corr/abs-1209-2191 Jimmy Lin :
MapReduce is Good Enough? If All You Have is a Hammer, Throw Away Everything That's Not a Nail!
export record as
dblp key:
journals/corr/abs-1209-2192 export record as
dblp key:
journals/corr/abs-1209-2234 export record as
dblp key:
journals/corr/abs-1209-2237 export record as
dblp key:
journals/corr/abs-1209-2238 export record as
dblp key:
journals/corr/abs-1209-2239 export record as
dblp key:
journals/corr/abs-1209-2244 export record as
dblp key:
journals/corr/abs-1209-2262 export record as
dblp key:
journals/corr/abs-1209-2274 export record as
dblp key:
journals/corr/abs-1209-2295 export record as
dblp key:
journals/corr/abs-1209-2308 export record as
dblp key:
journals/corr/abs-1209-2322 export record as
dblp key:
journals/corr/abs-1209-2333 export record as
dblp key:
journals/corr/abs-1209-2340 export record as
dblp key:
journals/corr/abs-1209-2341 export record as
dblp key:
journals/corr/abs-1209-2352 export record as
dblp key:
journals/corr/abs-1209-2355 export record as
dblp key:
journals/corr/abs-1209-2364 export record as
dblp key:
journals/corr/abs-1209-2368 export record as
dblp key:
journals/corr/abs-1209-2376 export record as
dblp key:
journals/corr/abs-1209-2382 Fabrice Kordon ,
Alban Linard ,
Didier Buchs ,
Maximilien Colange ,
Sami Evangelista ,
Lukasz Fronc ,
Lom-Messan Hillah ,
N. Lohmann ,
Emmanuel Paviot-Adet ,
Franck Pommereau ,
C. Rohr ,
Yann Thierry-Mieg ,
Harro Wimmel ,
Karsten Wolf :
Raw Report on the Model Checking Contest at Petri Nets 2012.
export record as
dblp key:
journals/corr/abs-1209-2388 Ohad Shamir :
On the Complexity of Bandit and Derivative-Free Stochastic Convex Optimization.
export record as
dblp key:
journals/corr/abs-1209-2400 export record as
dblp key:
journals/corr/abs-1209-2408 export record as
dblp key:
journals/corr/abs-1209-2457 export record as
dblp key:
journals/corr/abs-1209-2493 export record as
dblp key:
journals/corr/abs-1209-2495 export record as
dblp key:
journals/corr/abs-1209-2501 Hemanth K. S. ,
Doreswamy :
Performance Evaluation of Predictive Classifiers For Knowledge Discovery From Engineering Materials Data Sets.
export record as
dblp key:
journals/corr/abs-1209-2503 Lajos L. Pongracz :
A greedy approximation algorithm for the longest path problem in undirected graphs.
export record as
dblp key:
journals/corr/abs-1209-2505 export record as
dblp key:
journals/corr/abs-1209-2507 export record as
dblp key:
journals/corr/abs-1209-2508 Moez Hizem ,
Ridha Bouallegue :
Acquisition probability of multi-user UWB systems in the presence of a novel synchronization approach.
export record as
dblp key:
journals/corr/abs-1209-2512 export record as
dblp key:
journals/corr/abs-1209-2515 export record as
dblp key:
journals/corr/abs-1209-2516 Elham Khatibi ,
Roliana Ibrahim :
Efficient Indicators to Evaluate the Status of Software Development Effort Estimation inside the Organizations.
export record as
dblp key:
journals/corr/abs-1209-2531 export record as
dblp key:
journals/corr/abs-1209-2542 export record as
dblp key:
journals/corr/abs-1209-2548 export record as
dblp key:
journals/corr/abs-1209-2550 export record as
dblp key:
journals/corr/abs-1209-2553 S. Malathi ,
S. Sridhar :
Optimization of fuzzy analogy in software cost estimation using linguistic variables.
export record as
dblp key:
journals/corr/abs-1209-2557 export record as
dblp key:
journals/corr/abs-1209-2582 export record as
dblp key:
journals/corr/abs-1209-2602 export record as
dblp key:
journals/corr/abs-1209-2612 export record as
dblp key:
journals/corr/abs-1209-2614 export record as
dblp key:
journals/corr/abs-1209-2617 export record as
dblp key:
journals/corr/abs-1209-2620 export record as
dblp key:
journals/corr/abs-1209-2635 export record as
dblp key:
journals/corr/abs-1209-2641 Haibin Wang :
C-PASS-PC: A Cloud-driven Prototype of Multi-Center Proactive Surveillance System for Prostate Cancer.
export record as
dblp key:
journals/corr/abs-1209-2647 Jason T. Liu :
Shadow Theory, data model design for data integration.
export record as
dblp key:
journals/corr/abs-1209-2650 export record as
dblp key:
journals/corr/abs-1209-2659 export record as
dblp key:
journals/corr/abs-1209-2660 Antonio A. Gentile :
Review of strategies for a comprehensive simulation in sputtering devices.
export record as
dblp key:
journals/corr/abs-1209-2664 export record as
dblp key:
journals/corr/abs-1209-2672 export record as
dblp key:
journals/corr/abs-1209-2673 Vladimir Vovk :
Conditional validity of inductive conformal predictors.
export record as
dblp key:
journals/corr/abs-1209-2678 export record as
dblp key:
journals/corr/abs-1209-2681 export record as
dblp key:
journals/corr/abs-1209-2684 export record as
dblp key:
journals/corr/abs-1209-2688 export record as
dblp key:
journals/corr/abs-1209-2693 export record as
dblp key:
journals/corr/abs-1209-2696 export record as
dblp key:
journals/corr/abs-1209-2717 export record as
dblp key:
journals/corr/abs-1209-2724 export record as
dblp key:
journals/corr/abs-1209-2738 export record as
dblp key:
journals/corr/abs-1209-2755 export record as
dblp key:
journals/corr/abs-1209-2759 export record as
dblp key:
journals/corr/abs-1209-2784 export record as
dblp key:
journals/corr/abs-1209-2790 export record as
dblp key:
journals/corr/abs-1209-2794 export record as
dblp key:
journals/corr/abs-1209-2806 export record as
dblp key:
journals/corr/abs-1209-2807 export record as
dblp key:
journals/corr/abs-1209-2810 export record as
dblp key:
journals/corr/abs-1209-2816 export record as
dblp key:
journals/corr/abs-1209-2820 export record as
dblp key:
journals/corr/abs-1209-2848 export record as
dblp key:
journals/corr/abs-1209-2855 export record as
dblp key:
journals/corr/abs-1209-2868 export record as
dblp key:
journals/corr/abs-1209-2875 export record as
dblp key:
journals/corr/abs-1209-2883 export record as
dblp key:
journals/corr/abs-1209-2887 export record as
dblp key:
journals/corr/abs-1209-2890 export record as
dblp key:
journals/corr/abs-1209-2894 export record as
dblp key:
journals/corr/abs-1209-2903 export record as
dblp key:
journals/corr/abs-1209-2905 export record as
dblp key:
journals/corr/abs-1209-2910 export record as
dblp key:
journals/corr/abs-1209-2918 export record as
dblp key:
journals/corr/abs-1209-2946 export record as
dblp key:
journals/corr/abs-1209-2948 export record as
dblp key:
journals/corr/abs-1209-2951 export record as
dblp key:
journals/corr/abs-1209-3026 export record as
dblp key:
journals/corr/abs-1209-3047 export record as
dblp key:
journals/corr/abs-1209-3050 export record as
dblp key:
journals/corr/abs-1209-3052 Samuel King Opoku :
A Simultaneous-Movement Mobile Multiplayer Game Design based on Adaptive Background Partitioning Technique.
export record as
dblp key:
journals/corr/abs-1209-3053 export record as
dblp key:
journals/corr/abs-1209-3054 export record as
dblp key:
journals/corr/abs-1209-3056 export record as
dblp key:
journals/corr/abs-1209-3061 export record as
dblp key:
journals/corr/abs-1209-3089 export record as
dblp key:
journals/corr/abs-1209-3093 export record as
dblp key:
journals/corr/abs-1209-3099 export record as
dblp key:
journals/corr/abs-1209-3105 Meixia Tao ,
Yuan Liu :
Spectrum Leasing and Cooperative Resource Allocation in Cognitive OFDMA Networks.
export record as
dblp key:
journals/corr/abs-1209-3113 export record as
dblp key:
journals/corr/abs-1209-3117 export record as
dblp key:
journals/corr/abs-1209-3126 export record as
dblp key:
journals/corr/abs-1209-3129 export record as
dblp key:
journals/corr/abs-1209-3137 export record as
dblp key:
journals/corr/abs-1209-3150 export record as
dblp key:
journals/corr/abs-1209-3155 export record as
dblp key:
journals/corr/abs-1209-3203 export record as
dblp key:
journals/corr/abs-1209-3234 export record as
dblp key:
journals/corr/abs-1209-3253 Florian Roemer ,
Martin Haardt :
A framework for the analytical performance assessment of matrix and tensor-based ESPRIT-type algorithms.
export record as
dblp key:
journals/corr/abs-1209-3275 export record as
dblp key:
journals/corr/abs-1209-3286 Nikolay Glazyrin :
Music Recommendation System for Million Song Dataset Challenge.
export record as
dblp key:
journals/corr/abs-1209-3300 export record as
dblp key:
journals/corr/abs-1209-3312 export record as
dblp key:
journals/corr/abs-1209-3314 export record as
dblp key:
journals/corr/abs-1209-3315 export record as
dblp key:
journals/corr/abs-1209-3331 export record as
dblp key:
journals/corr/abs-1209-3332 export record as
dblp key:
journals/corr/abs-1209-3342 export record as
dblp key:
journals/corr/abs-1209-3344 export record as
dblp key:
journals/corr/abs-1209-3352 export record as
dblp key:
journals/corr/abs-1209-3353 export record as
dblp key:
journals/corr/abs-1209-3356 export record as
dblp key:
journals/corr/abs-1209-3358 export record as
dblp key:
journals/corr/abs-1209-3366 export record as
dblp key:
journals/corr/abs-1209-3387 export record as
dblp key:
journals/corr/abs-1209-3394 export record as
dblp key:
journals/corr/abs-1209-3406 export record as
dblp key:
journals/corr/abs-1209-3416 export record as
dblp key:
journals/corr/abs-1209-3418 export record as
dblp key:
journals/corr/abs-1209-3419 export record as
dblp key:
journals/corr/abs-1209-3422 export record as
dblp key:
journals/corr/abs-1209-3433 export record as
dblp key:
journals/corr/abs-1209-3458 export record as
dblp key:
journals/corr/abs-1209-3460 export record as
dblp key:
journals/corr/abs-1209-3487 export record as
dblp key:
journals/corr/abs-1209-3505 export record as
dblp key:
journals/corr/abs-1209-3516 Rio Yokota :
An FMM Based on Dual Tree Traversal for Many-core Architectures.
export record as
dblp key:
journals/corr/abs-1209-3517 export record as
dblp key:
journals/corr/abs-1209-3518 
