export record as
dblp key:
journals/corr/abs-1106-0814 Giovanna D'Agostino ,
Salvatore La Torre (Eds.):
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification.
EPTCS 54 2011
Contents
export record as
dblp key:
journals/corr/abs-1106-0823 export record as
dblp key:
journals/corr/abs-1106-0831 export record as
dblp key:
journals/corr/abs-1106-0840 export record as
dblp key:
journals/corr/abs-1106-0843 Sayed A. Hadei ,
Paeiz Azmi :
A Novel Adaptive Channel Equalization Method Using Variable Step-Size Partial Rank Algorithm.
export record as
dblp key:
journals/corr/abs-1106-0844 Sayed A. Hadei ,
N. Sonbolestan :
A Fast Affine Projection Algorithm Based on Matching Pursuit in Adaptive Noise Cancellation for Speech Enhancement.
export record as
dblp key:
journals/corr/abs-1106-0846 export record as
dblp key:
journals/corr/abs-1106-0851 Wajeb Gharibi ,
Yong Xia :
A Dual Approach for Solving Nonlinear Infinite-Norm Minimization Problems with Applications in Separable Cases.
export record as
dblp key:
journals/corr/abs-1106-0853 Wajeb Gharibi :
Studying and Classification of the Most Significant Malicious Software.
export record as
dblp key:
journals/corr/abs-1106-0855 export record as
dblp key:
journals/corr/abs-1106-0868 export record as
dblp key:
journals/corr/abs-1106-0869 export record as
dblp key:
journals/corr/abs-1106-0874 export record as
dblp key:
journals/corr/abs-1106-0880 export record as
dblp key:
journals/corr/abs-1106-0895 export record as
dblp key:
journals/corr/abs-1106-0917 export record as
dblp key:
journals/corr/abs-1106-0940 export record as
dblp key:
journals/corr/abs-1106-0941 export record as
dblp key:
journals/corr/abs-1106-0954 export record as
dblp key:
journals/corr/abs-1106-0961 Saeed Alaei :
Bayesian Combinatorial Auctions: Expanding Single Buyer Mechanisms to Many Buyers.
export record as
dblp key:
journals/corr/abs-1106-0962 export record as
dblp key:
journals/corr/abs-1106-0969 export record as
dblp key:
journals/corr/abs-1106-0987 export record as
dblp key:
journals/corr/abs-1106-0989 export record as
dblp key:
journals/corr/abs-1106-1017 export record as
dblp key:
journals/corr/abs-1106-1049 export record as
dblp key:
journals/corr/abs-1106-1105 Bradly Alicea :
Naturally Supervised Learning in Manipulable Technologies.
export record as
dblp key:
journals/corr/abs-1106-1113 export record as
dblp key:
journals/corr/abs-1106-1150 export record as
dblp key:
journals/corr/abs-1106-1157 export record as
dblp key:
journals/corr/abs-1106-1194 export record as
dblp key:
journals/corr/abs-1106-1199 export record as
dblp key:
journals/corr/abs-1106-1207 export record as
dblp key:
journals/corr/abs-1106-1211 export record as
dblp key:
journals/corr/abs-1106-1216 export record as
dblp key:
journals/corr/abs-1106-1220 export record as
dblp key:
journals/corr/abs-1106-1224 Zhuang Jiao ,
Yisheng Zhong :
Robust stability for fractional-order systems with structured and unstructured uncertainties.
export record as
dblp key:
journals/corr/abs-1106-1226 export record as
dblp key:
journals/corr/abs-1106-1228 export record as
dblp key:
journals/corr/abs-1106-1229 Christian Appold :
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations.
17-30
export record as
dblp key:
journals/corr/abs-1106-1230 export record as
dblp key:
journals/corr/abs-1106-1231 export record as
dblp key:
journals/corr/abs-1106-1232 export record as
dblp key:
journals/corr/abs-1106-1233 export record as
dblp key:
journals/corr/abs-1106-1234 export record as
dblp key:
journals/corr/abs-1106-1235 Zhilin Wu :
A Decidable Extension of Data Automata.
116-130
export record as
dblp key:
journals/corr/abs-1106-1236 export record as
dblp key:
journals/corr/abs-1106-1237 export record as
dblp key:
journals/corr/abs-1106-1239 Laura Bozzelli :
New results on pushdown module checking with imperfect information.
162-177
export record as
dblp key:
journals/corr/abs-1106-1240 export record as
dblp key:
journals/corr/abs-1106-1241 export record as
dblp key:
journals/corr/abs-1106-1242 Markus Latte :
Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages.
207-221
export record as
dblp key:
journals/corr/abs-1106-1243 export record as
dblp key:
journals/corr/abs-1106-1244 export record as
dblp key:
journals/corr/abs-1106-1245 export record as
dblp key:
journals/corr/abs-1106-1246 export record as
dblp key:
journals/corr/abs-1106-1250 export record as
dblp key:
journals/corr/abs-1106-1282 export record as
dblp key:
journals/corr/abs-1106-1286 export record as
dblp key:
journals/corr/abs-1106-1287 export record as
dblp key:
journals/corr/abs-1106-1311 export record as
dblp key:
journals/corr/abs-1106-1347 Ivo Hedtke :
Methods of Matrix Multiplication: An Overview of Several Methods and their Implementation.
export record as
dblp key:
journals/corr/abs-1106-1351 export record as
dblp key:
journals/corr/abs-1106-1364 export record as
dblp key:
journals/corr/abs-1106-1370 Jingchao Chen :
Exploiting Dynamically Propositional Logic Structures in SAT.
export record as
dblp key:
journals/corr/abs-1106-1372 Jingchao Chen :
Phase Selection Heuristics for Satisfiability Solvers.
export record as
dblp key:
journals/corr/abs-1106-1379 export record as
dblp key:
journals/corr/abs-1106-1401 export record as
dblp key:
journals/corr/abs-1106-1414 export record as
dblp key:
journals/corr/abs-1106-1424 export record as
dblp key:
journals/corr/abs-1106-1474 export record as
dblp key:
journals/corr/abs-1106-1478 export record as
dblp key:
journals/corr/abs-1106-1500 export record as
dblp key:
journals/corr/abs-1106-1510 export record as
dblp key:
journals/corr/abs-1106-1516 export record as
dblp key:
journals/corr/abs-1106-1521 export record as
dblp key:
journals/corr/abs-1106-1523 export record as
dblp key:
journals/corr/abs-1106-1531 export record as
dblp key:
journals/corr/abs-1106-1570 export record as
dblp key:
journals/corr/abs-1106-1583 export record as
dblp key:
journals/corr/abs-1106-1590 export record as
dblp key:
journals/corr/abs-1106-1595 export record as
dblp key:
journals/corr/abs-1106-1622 export record as
dblp key:
journals/corr/abs-1106-1634 export record as
dblp key:
journals/corr/abs-1106-1636 export record as
dblp key:
journals/corr/abs-1106-1651 export record as
dblp key:
journals/corr/abs-1106-1652 export record as
dblp key:
journals/corr/abs-1106-1684 export record as
dblp key:
journals/corr/abs-1106-1703 export record as
dblp key:
journals/corr/abs-1106-1716 export record as
dblp key:
journals/corr/abs-1106-1731 export record as
dblp key:
journals/corr/abs-1106-1770 export record as
dblp key:
journals/corr/abs-1106-1791 export record as
dblp key:
journals/corr/abs-1106-1796 Chris Drummond :
Accelerating Reinforcement Learning by Composing Solutions of Automatically Identified Subtasks.
export record as
dblp key:
journals/corr/abs-1106-1797 export record as
dblp key:
journals/corr/abs-1106-1799 export record as
dblp key:
journals/corr/abs-1106-1800 export record as
dblp key:
journals/corr/abs-1106-1802 export record as
dblp key:
journals/corr/abs-1106-1803 export record as
dblp key:
journals/corr/abs-1106-1804 export record as
dblp key:
journals/corr/abs-1106-1809 export record as
dblp key:
journals/corr/abs-1106-1811 export record as
dblp key:
journals/corr/abs-1106-1813 export record as
dblp key:
journals/corr/abs-1106-1814 export record as
dblp key:
journals/corr/abs-1106-1816 export record as
dblp key:
journals/corr/abs-1106-1817 export record as
dblp key:
journals/corr/abs-1106-1818 Richard Nock :
Inducing Interpretable Voting Classifiers without Trading Accuracy for Simplicity: Theoretical Results, Approximation Algorithms.
export record as
dblp key:
journals/corr/abs-1106-1819 export record as
dblp key:
journals/corr/abs-1106-1820 export record as
dblp key:
journals/corr/abs-1106-1821 export record as
dblp key:
journals/corr/abs-1106-1822 export record as
dblp key:
journals/corr/abs-1106-1842 export record as
dblp key:
journals/corr/abs-1106-1845 export record as
dblp key:
journals/corr/abs-1106-1846 export record as
dblp key:
journals/corr/abs-1106-1850 export record as
dblp key:
journals/corr/abs-1106-1852 export record as
dblp key:
journals/corr/abs-1106-1853 export record as
dblp key:
journals/corr/abs-1106-1862 export record as
dblp key:
journals/corr/abs-1106-1875 export record as
dblp key:
journals/corr/abs-1106-1879 Ryo Nomura ,
Te Sun Han :
Second-Order Resolvability, Intrinsic Randomness, and Fixed-Length Source Coding for Mixed Sources.
export record as
dblp key:
journals/corr/abs-1106-1887 export record as
dblp key:
journals/corr/abs-1106-1894 export record as
dblp key:
journals/corr/abs-1106-1910 export record as
dblp key:
journals/corr/abs-1106-1919 export record as
dblp key:
journals/corr/abs-1106-1933 export record as
dblp key:
journals/corr/abs-1106-1940 export record as
dblp key:
journals/corr/abs-1106-1944 export record as
dblp key:
journals/corr/abs-1106-1953 export record as
dblp key:
journals/corr/abs-1106-1957 Frederick Maier :
Interdefinability of defeasible logic and logic programming under the well-founded semantics.
export record as
dblp key:
journals/corr/abs-1106-1969 export record as
dblp key:
journals/corr/abs-1106-1975 export record as
dblp key:
journals/corr/abs-1106-1978 export record as
dblp key:
journals/corr/abs-1106-1998 export record as
dblp key:
journals/corr/abs-1106-2013 export record as
dblp key:
journals/corr/abs-1106-2025 export record as
dblp key:
journals/corr/abs-1106-2050 export record as
dblp key:
journals/corr/abs-1106-2055 export record as
dblp key:
journals/corr/abs-1106-2057 export record as
dblp key:
journals/corr/abs-1106-2065 export record as
dblp key:
journals/corr/abs-1106-2077 export record as
dblp key:
journals/corr/abs-1106-2104 export record as
dblp key:
journals/corr/abs-1106-2109 export record as
dblp key:
journals/corr/abs-1106-2113 export record as
dblp key:
journals/corr/abs-1106-2122 export record as
dblp key:
journals/corr/abs-1106-2126 export record as
dblp key:
journals/corr/abs-1106-2156 Axel Wismüller :
A Computational Framework for Nonlinear Dimensionality Reduction of Large Data Sets: The Exploratory Inspection Machine (XIM).
export record as
dblp key:
journals/corr/abs-1106-2176 export record as
dblp key:
journals/corr/abs-1106-2181 export record as
dblp key:
journals/corr/abs-1106-2207 export record as
dblp key:
journals/corr/abs-1106-2217 Maurice Margenstern :
An application of Grossone to the study of a family of tilings of the hyperbolic plane.
export record as
dblp key:
journals/corr/abs-1106-2233 export record as
dblp key:
journals/corr/abs-1106-2263 export record as
dblp key:
journals/corr/abs-1106-2272 Wenyan Xu ,
Sanyang Liu :
Soundness and completeness of the cirquent calculus system CL6 for computability logic.
export record as
dblp key:
journals/corr/abs-1106-2275 export record as
dblp key:
journals/corr/abs-1106-2289 export record as
dblp key:
journals/corr/abs-1106-2290 Maurice Margenstern :
Using Grossone to count the number of elements of infinite sets and the connection with bijections.
export record as
dblp key:
journals/corr/abs-1106-2294 export record as
dblp key:
journals/corr/abs-1106-2301 Sergey V. Yakhontov :
A simple algorithm for the evaluation of the hypergeometric series using quasi-linear time and linear space.
export record as
dblp key:
journals/corr/abs-1106-2305 Linh Anh Nguyen :
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI.
export record as
dblp key:
journals/corr/abs-1106-2312 export record as
dblp key:
journals/corr/abs-1106-2320 export record as
dblp key:
journals/corr/abs-1106-2325 export record as
dblp key:
journals/corr/abs-1106-2327 export record as
dblp key:
journals/corr/abs-1106-2351 export record as
dblp key:
journals/corr/abs-1106-2352 export record as
dblp key:
journals/corr/abs-1106-2357 export record as
dblp key:
journals/corr/abs-1106-2369 export record as
dblp key:
journals/corr/abs-1106-2378 export record as
dblp key:
journals/corr/abs-1106-2380 export record as
dblp key:
journals/corr/abs-1106-2402 K. Savitha ,
C. Chandrasekar :
Network Selection Using TOPSIS in Vertical Handover Decision Schemes for Heterogeneous Wireless Networks.
export record as
dblp key:
journals/corr/abs-1106-2404 export record as
dblp key:
journals/corr/abs-1106-2414 export record as
dblp key:
journals/corr/abs-1106-2417 export record as
dblp key:
journals/corr/abs-1106-2429 export record as
dblp key:
journals/corr/abs-1106-2436 export record as
dblp key:
journals/corr/abs-1106-2464 export record as
dblp key:
journals/corr/abs-1106-2473 export record as
dblp key:
journals/corr/abs-1106-2481 Tianrong Lin :
Another approach of the equivalence problem for measure-many one-way quantum finite automata.
export record as
dblp key:
journals/corr/abs-1106-2489 Craig Boutilier :
Eliciting Forecasts from Self-interested Experts: Scoring Rules for Decision Makers.
export record as
dblp key:
journals/corr/abs-1106-2503 Emilio Ferrara :
A Large-Scale Community Structure Analysis In Facebook.
export record as
dblp key:
journals/corr/abs-1106-2522 Ersen Ekrem ,
Sennur Ulukus :
Degrees of Freedom Region of the Gaussian MIMO Broadcast Channel with Common and Private Messages.
export record as
dblp key:
journals/corr/abs-1106-2530 export record as
dblp key:
journals/corr/abs-1106-2533 export record as
dblp key:
journals/corr/abs-1106-2568 export record as
dblp key:
journals/corr/abs-1106-2575 export record as
dblp key:
journals/corr/abs-1106-2578 export record as
dblp key:
journals/corr/abs-1106-2581 export record as
dblp key:
journals/corr/abs-1106-2587 export record as
dblp key:
journals/corr/abs-1106-2593 export record as
dblp key:
journals/corr/abs-1106-2601 Vikram Dhillon :
Knowledge Dispersion Index for Measuring Intellectual Capital.
export record as
dblp key:
journals/corr/abs-1106-2603 export record as
dblp key:
journals/corr/abs-1106-2619 export record as
dblp key:
journals/corr/abs-1106-2637 export record as
dblp key:
journals/corr/abs-1106-2647 export record as
dblp key:
journals/corr/abs-1106-2649 export record as
dblp key:
journals/corr/abs-1106-2650 export record as
dblp key:
journals/corr/abs-1106-2652 export record as
dblp key:
journals/corr/abs-1106-2657 export record as
dblp key:
journals/corr/abs-1106-2662 export record as
dblp key:
journals/corr/abs-1106-2670 Kevin Perrot ,
Eric Rémila :
Transduction on Kadanoff Sand Pile Model Avalanches, Application to Wave Pattern Emergence.
export record as
dblp key:
journals/corr/abs-1106-2673 export record as
dblp key:
journals/corr/abs-1106-2677 export record as
dblp key:
journals/corr/abs-1106-2684 export record as
dblp key:
journals/corr/abs-1106-2686 export record as
dblp key:
journals/corr/abs-1106-2692 export record as
dblp key:
journals/corr/abs-1106-2694 export record as
dblp key:
journals/corr/abs-1106-2695 export record as
dblp key:
journals/corr/abs-1106-2696 export record as
dblp key:
journals/corr/abs-1106-2729 export record as
dblp key:
journals/corr/abs-1106-2756 export record as
dblp key:
journals/corr/abs-1106-2766 export record as
dblp key:
journals/corr/abs-1106-2769 export record as
dblp key:
journals/corr/abs-1106-2772 export record as
dblp key:
journals/corr/abs-1106-2774 export record as
dblp key:
journals/corr/abs-1106-2788 export record as
dblp key:
journals/corr/abs-1106-2792 export record as
dblp key:
journals/corr/abs-1106-2794 Reshma p :
Power Management during Scan Based Sequential Circuit Testing.
export record as
dblp key:
journals/corr/abs-1106-2819 export record as
dblp key:
journals/corr/abs-1106-2872 export record as
dblp key:
journals/corr/abs-1106-2877 export record as
dblp key:
journals/corr/abs-1106-2886 export record as
dblp key:
journals/corr/abs-1106-2888 export record as
dblp key:
journals/corr/abs-1106-2946 export record as
dblp key:
journals/corr/abs-1106-2992 export record as
dblp key:
journals/corr/abs-1106-2993 export record as
dblp key:
journals/corr/abs-1106-2994 export record as
dblp key:
journals/corr/abs-1106-3037 Aleksandar Ilic :
Efficient algorithm for the vertex connectivity of trapezoid graphs.
export record as
dblp key:
journals/corr/abs-1106-3054 Yaron Velner :
The Complexity of Mean-Payoff Automaton Expression.
export record as
dblp key:
journals/corr/abs-1106-3059 export record as
dblp key:
journals/corr/abs-1106-3077 export record as
dblp key:
journals/corr/abs-1106-3126 export record as
dblp key:
journals/corr/abs-1106-3134 export record as
dblp key:
journals/corr/abs-1106-3153 Hayato Takahashi :
Algorithmic analogies to kamae-Weiss theorem on normal numbers.
export record as
dblp key:
journals/corr/abs-1106-3161 export record as
dblp key:
journals/corr/abs-1106-3172 export record as
dblp key:
journals/corr/abs-1106-3176 export record as
dblp key:
journals/corr/abs-1106-3184 export record as
dblp key:
journals/corr/abs-1106-3242 export record as
dblp key:
journals/corr/abs-1106-3276 export record as
dblp key:
journals/corr/abs-1106-3286 Chenlu Qiu ,
Namrata Vaswani :
ReProCS: A Missing Link between Recursive Robust PCA and Recursive Sparse Recovery in Large but Correlated Noise.
export record as
dblp key:
journals/corr/abs-1106-3314 Roman Gitlin :
Reducing Interpolation on Multi-Grid to Quantizing Grid's Data-Base as a Recursion.
export record as
dblp key:
journals/corr/abs-1106-3325 export record as
dblp key:
journals/corr/abs-1106-3326 export record as
dblp key:
journals/corr/abs-1106-3348 export record as
dblp key:
journals/corr/abs-1106-3349 export record as
dblp key:
journals/corr/abs-1106-3355 export record as
dblp key:
journals/corr/abs-1106-3361 export record as
dblp key:
journals/corr/abs-1106-3369 export record as
dblp key:
journals/corr/abs-1106-3373 export record as
dblp key:
journals/corr/abs-1106-3381 export record as
dblp key:
journals/corr/abs-1106-3395 export record as
dblp key:
journals/corr/abs-1106-3396 export record as
dblp key:
journals/corr/abs-1106-3397 export record as
dblp key:
journals/corr/abs-1106-3402 export record as
dblp key:
journals/corr/abs-1106-3409 export record as
dblp key:
journals/corr/abs-1106-3445 Matthew R. Lakin :
Constraint solving in non-permutative nominal abstract syntax.
export record as
dblp key:
journals/corr/abs-1106-3448 export record as
dblp key:
journals/corr/abs-1106-3456 export record as
dblp key:
journals/corr/abs-1106-3457 export record as
dblp key:
journals/corr/abs-1106-3464 export record as
dblp key:
journals/corr/abs-1106-3466 export record as
dblp key:
journals/corr/abs-1106-3467 
