CoRR, July 2012

- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0016
- ask others
Ruchen Duan Yingbin Liang: Bounds and Capacity Theorems for Cognitive Interference Channels with State.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0017
- ask others
Derek Greene, Derek O'Callaghan, Pádraig Cunningham: Identifying Topical Twitter Communities via User List Aggregation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0018
- ask others
J. Robinson Ebi Elias, R. Rajesh: Quasi-Orthogonal Space-Time-Frequency Trellis Codes for MIMO-OFDM Systems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0023
- ask others
Anders Hansson, Zhang Liu, Lieven Vandenberghe: Subspace System Identification via Weighted Nuclear Norm Optimization.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0032
- ask others
Swarnendu Kar, Pramod K. Varshney: Linear Coherent Estimation with Spatial Collaboration.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0037
- ask others
Dashiell E. A. Fryer: The Uniform Distribution in Incentive Dynamics.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0043
- ask others
Bundit Laekhanukit, Adrian Vetta, Gordon T. Wilfong: Routing Regardless of Network Stability.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0051
- ask others
Rasoul Ramezanian: Computation Environments (2) Persistently Evolutionary Semantics.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0052
- ask others
Jacob Andreas: The Complexity of Learning Principles and Parameters Grammars.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0057
- ask others
Yoshua Bengio, Guillaume Alain, Salah Rifai: Implicit Density Estimation by Local Moment Matching to Sample from Auto-Encoders.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0080
- ask others
Eyal Ackerman, Rom Pinchasi: A note on coloring line arrangements.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0097
- ask others
Ge Guo, Wing Shing Wong, Zhongchang Liu: Cooperative Target Realization in Multi-Agent Systems Allowing Choice-Based Actions.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0099
- ask others
Masashi Sugiyama, Takafumi Kanamori, Taiji Suzuki, Marthinus Christoffel du Plessis, Song Liu, Ichiro Takeuchi: Density-Difference Estimation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0117
- ask others
Rajdeep Borgohain, Sugata Sanyal: Rule Based Expert System for Cerebral Palsy Diagnosis.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0120
- ask others
Nihar B. Shah, K. V. Rashmi, Kannan Ramchandran: Secret Share Dissemination across a Network.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0122
- ask others
Manoj Rameshchandra Thakur: A Distributed and Cooperative Approach to Botnet Detection Using Gossip Protocol.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0132
- ask others
Rakesh Pimplikar, Sunita Sarawagi: Answering Table Queries on the Web using Column Keywords.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0133
- ask others
Sven Leyffer, Ilya Safro: Fast Response to Infection Spread and Cyber Attacks on Large-Scale Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0134
- ask others
Lukas Blunschi, Claudio Jossen, Donald Kossmann, Magdalini Mori, Kurt Stockinger: SODA: Generating SQL for Business Users.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0135
- ask others
Manolis Terrovitis, John Liagouris, Nikos Mamoulis, Spiros Skiadopoulos: Privacy Preservation by Disassociation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0136
- ask others
Bhargav Kanagal, Amr Ahmed, Sandeep Pandey, Vanja Josifovski, Jeffrey Yuan, Lluis Garcia Pueyo: Supercharging Recommender Systems using Taxonomies for Learning User Purchase Behavior.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0137
- ask others
Yanif Ahmad, Oliver Kennedy, Christoph Koch, Milos Nikolic: DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0138
- ask others
Manoj K. Agarwal, Krithi Ramamritham, Manish Bhide: Real Time Discovery of Dense Clusters in Highly Dynamic Graphs: Identifying Real World Events in Highly Dynamic Environments.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0139
- ask others
Odysseas Papapetrou, Minos N. Garofalakis, Antonios Deligiannakis: Sketch-based Querying of Distributed Sliding-Window Data Streams.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0140
- ask others
Hoang Tam Vo, Sheng Wang, Divyakant Agrawal, Gang Chen, Beng Chin Ooi: LogBase: A Scalable Log-structured Database System in the Cloud.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0141
- ask others
Wei Lu, Yanyan Shen, Su Chen, Beng Chin Ooi: Efficient Processing of k Nearest Neighbor Joins using MapReduce.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0142
- ask others
Nikolay Laptev, Kai Zeng, Carlo Zaniolo: Early Accurate Results for Advanced Analytics on MapReduce.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0143
- ask others
Xuan Liu, Meiyu Lu, Beng Chin Ooi, Yanyan Shen, Sai Wu, Meihui Zhang: CDAS: A Crowdsourcing Data Analytics System.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0144
- ask others
Mayank Sachan, Arnab Bhattacharya: Mining Statistically Significant Substrings using the Chi-Square Statistic.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0145
- ask others
Martina-Cezara Albutiu, Alfons Kemper, Thomas Neumann: Massively Parallel Sort-Merge Joins in Main Memory Multi-Core Database Systems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0147
- ask others
Tian Luo, Rubao Lee, Michael P. Mesnier, Feng Chen, Xiaodong Zhang: hStorage-DB: Heterogeneity-aware Data Management to Exploit the Full Capability of Hybrid Storage Systems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0151
- ask others
Matthew D. Zeiler, Rob Fergus: Differentiable Pooling for Hierarchical Feature Learning.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0157
- ask others
George Athanasiou: Green Traffic Engineering for Future Core Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0158
- ask others
Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi: On the Complexity of Equivalence of Specifications of Infinite Objects.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0159
- ask others
George Athanasiou: Energy-efficient traffic engineering for future core networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0160
- ask others
George Athanasiou, Leandros Tassiulas: Design and Implementation of Distributed Resource Management Mechanisms for Wireless Mesh Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0162
- ask others
Marios Logothetis, George Athanasiou, Kostas Tsagkaris, Panagiotis Demestichas: Green Footprint by Cognitive Management of Opportunistic Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0163
- ask others
George Athanasiou: Resource Allocation in ClubADSL.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0166
- ask others
Claudio Gentile, Francesco Orabona: On Multilabel Classification and Ranking with Partial Feedback.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0180
- ask others
M. Sivasankar: Generation of Efficient Key Bit-Streams.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0203
- ask others
Jayavardhana Gubbi, Rajkumar Buyya, Slaven Marusic, Marimuthu Palaniswami: Internet of Things (IoT): A Vision, Architectural Elements, and Future Directions.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0206
- ask others
Ilya Loshchilov, Marc Schoenauer, Michèle Sebag: Alternative Restart Strategies for CMA-ES.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0216
- ask others
Dominique Barth, Boubkeur Boudaoud, Thierry Mautor: La théorie des jeux pour l'établissement des contrats dans les réseaux interdomaines.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0226
- ask others
Zohir Bouzid, Shantanu Das, Sébastien Tixeuil: Wait-Free Gathering of Mobile Robots.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0229
- ask others
Leszek Szczecinski, Ciro Correa, Luciano Ahumada: Variable-rate Retransmissions for Incremental Redundancy Hybrid ARQ.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0240
- ask others
Robert Georges, Frank Hoffmann, Klaus Kriegel: Online Exploration of Polygons with Holes.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0245
- ask others
Noah A. Smith: Adversarial Evaluation for Models of Natural Language.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0246
- ask others
Emilio Ferrara, Pasquale De Meo, Giacomo Fiumara, Robert Baumgartner: Web Data Extraction, Applications and Techniques: A Survey.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0252
- ask others
Pierre Fraigniaud, Amos Korman, Merav Parter, David Peleg: Randomized Distributed Decision.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0255
- ask others
Pavel Klavík, Jan Kratochvíl, Yota Otachi, Toshiki Saitoh: Extending Partial Representations of Subclasses of Chordal Graphs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0261
- ask others
Yutaka Hori, Shinji Hara: Biochemical Oscillations in Delayed Negative Cyclic Feedback: Harmonic Balance Analysis with Applications.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0262
- ask others
Shiping Wang, Qingxin Zhu, William Zhu, Fan Min: Boolean matrix decomposition through covering-based rough sets.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0268
- ask others
Shivani Agarwal: Surrogate Regret Bounds for Bipartite Ranking via Strongly Proper Losses.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0269
- ask others
Khoongming Khoo, Chik How Tan: Breaking the Estream Finalists and AES Modes of Operation Faster than Exhaustive Search.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0271
- ask others
Shuxin Cai, Wenguo Yang, Yaohua Tang: Approximating Soft-Capacitated Facility Location Problem With Uncertainty.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0273
- ask others
Haichuan Ding, Shaodan Ma, Chengwen Xing, Zesong Fei, Jingming Kuang: Performance Analysis for Heterogeneous Cellular Systems with Range Expansion.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0288
- ask others
Laurent Tapie, Kwamiwi Mawussi, Alain Bernard: Topological model for machining of parts with complex shapes.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0290
- ask others
S. M. Sadegh Tabatabaei Yazdi, Lara Dolecek: Synchronization from Deletions Through Interactive Communication.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0297
- ask others
Eado Meron, Meir Feder, Mark Shtaif: On the Achievable Communication Rates of Generalized Soliton Transmission Systems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0313
- ask others
Yuriy Ostapov: Intellectual Management of Enterprise.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0315
- ask others
Huyen Chi Bui, Jérôme Lacan, Marie-Laure Boucheret: Multi-slot Coded ALOHA with Irregular Degree Distribution.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0316
- ask others
Angsheng Li, Peng Zhang: Algorithmic Aspects of Homophyly of Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0332
- ask others
Marius Buliga: Local and global moves on locally planar trivalent graphs, lambda calculus and $λ$-Scale.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0334
- ask others
Anas Chaaban, Aydin Sezgin: Signal Space Alignment for the Gaussian Y-Channel.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0335
- ask others
Anas Chaaban, Aydin Sezgin: Lattice Coding and the Generalized Degrees of Freedom of the Interference Channel with Relay.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0337
- ask others
Anas Chaaban, Aydin Sezgin: The DoF of the K-user Interference Channel with a Cognitive Relay.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0350
- ask others
Humza Qadir Raja, Oliver Scholz: Dynamic Power Distribution and Energy Management in a Reconfigurable Multi-Robotic Organism.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0361
- ask others
Sourav Dutta, Arnab Bhattacharya: INSTRUCT: Space-Efficient Structure for Indexing and Complete Query Management of String Databases.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0362
- ask others
Nuno K. Pratas, Henning Thomsen, Cedomir Stefanovic, Petar Popovski: Code-Expanded Random Access for Machine-Type Communications.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0369
- ask others
Benjamin Doerr, Daniel Johannsen, Timo Kötzing, Frank Neumann, Madeleine Theile: More Effective Crossover Operators for the All-Pairs Shortest Path Problem.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0370
- ask others
Abderrahmane Euldji, Abderrahim Tienti, Amine Boudghene Stambouli: A new path algorithm for the weighted multi-graphs WMGPA: application to the Direct Topological Method.
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0393
- ask others
Jan Krajícek: Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0396
- ask others
Peratham Wiriyathammabhum, Boonserm Kijsirikul, Hiroya Takamura, Manabu Okumura: Applying Deep Belief Networks to Word Sense Disambiguation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0403
- ask others
Peratham Wiriyathammabhum, Boonserm Kijsirikul: Robust Principal Component Analysis Using Statistical Estimators.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0405
- ask others
Eugen Staab, Guillaume Muller: MITRA: A Meta-Model for Information Flow in Trust and Reputation Architectures.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0418
- ask others
John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon: An Analysis of the CAVES Attestation Protocol using CPSA.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0421
- ask others
Ayush Choure, Sundar Vishwanathan: On graph parameters guaranteeing fast Sandpile diffusion.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0425
- ask others
Angela Amphawan, Mohd Amirol Md Khair, Hassanuddin Hasan: Multimedia Traffic Routing in Multilayer WDM Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0436
- ask others
Igal Sason: On the Entropy of Sums of Bernoulli Random Variables via the Chen-Stein Method.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0439
- ask others
Richard C. S. Kinne: An Overview of the AAVSO's Information Technology Infrastructure From 1967 to 1997.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0443
- ask others
Sérgio Medeiros, Fabio Mascarenhas, Roberto Ierusalimschy: Left Recursion in Parsing Expression Grammars.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0446
- ask others
Zakaria Elberrichi, Amel Belaggoun, Malika Taibi: Medical Documents Classification Based on the Domain Ontology MeSH.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0484
- ask others
Sabit Ekin, Mohamed M. Abdallah, Khalid A. Qaraqe, Erchin Serpedin: Random Subcarrier Allocation in OFDM-Based Cognitive Radio Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0535
- ask others
Janusz A. Brzozowski, David Liu: Universal Witnesses for State Complexity of Basic Operations Combined with Reversal.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0543
- ask others
Omar Fawzi, Ivan Savov: Rate-splitting in the presence of multiple receivers.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0546
- ask others
Kamran Karimi: Challenges of Upgrading a Virtual Appliance.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0552
- ask others
George B. Mertzios, Shmuel Zaks: On the Intersection of Tolerance and Cocomparability Graphs.
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0554
- ask others
Doron Peled, Sven Schewe (Eds.): Proceedings First Workshop on Synthesis. EPTCS 84 2012
Contents
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0557
- ask others
C. Yang, C. Jiang, M. Wang: Distributed Dynamic Inter-Cell Interference Management for Femtocell Networks Using Over-the-Air Single-Tone Signaling.
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0559
- ask others
Herbert Wiklicky, Mieke Massink (Eds.): Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems. EPTCS 85 2012
Contents
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0560
- ask others
Rishabh Iyer, Jeff Bilmes: Algorithms for Approximate Minimization of the Difference Between Submodular Functions, with Applications.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0561
- ask others
Naoki Masuda, Issei Kurahashi, Hiroko Onari: Suicide ideation of individuals in online social networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0563
- ask others
Sina Y. Caliskan, Paulo Tabuada: Kron Reduction of Generalized Electrical Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0578
- ask others
Andrew M. Sutton, Frank Neumann: A Parameterized Runtime Analysis of Evolutionary Algorithms for the Euclidean Traveling Salesperson Problem.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0580
- ask others
Geoffrey E. Hinton, Nitish Srivastava, Alex Krizhevsky, Ilya Sutskever, Ruslan Salakhutdinov: Improving neural networks by preventing co-adaptation of feature detectors.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0592
- ask others
U. S. Poornima, V. Suma: Significance of Quality Metrics in Software Development Process.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0602
- ask others
Tomasz Jurdzinski, Dariusz R. Kowalski: Distributed backbone structure for deterministic algorithms in the SINR model of wireless networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0634
- ask others
Garimella Rama Murthy: Optimization of Quadratic Forms: NP Hard Problems : Neural Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0639
- ask others
Yonathan Murin, Ron Dabora, Deniz Gündüz: Joint Source-Channel Coding for the Multiple-Access Relay Channel.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0654
- ask others
Kevin Perrot, Thi Ha Duong Phan, Van Trung Pham: On the set of Fixed Points of the Parallel Symmetric Sand Pile Model.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0657
- ask others
Krasimir Yordzhev, Ivelina Peneva: Computer Administering of the Psychological Investigations: Set-relational Representation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0663
- ask others
Nathanaël Fijalkow, Martin Zimmermann: Cost-Parity and Cost-Streett Games.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0665
- ask others
M. D. Sirajul Huque, C. Surekha, S. Pavan Kumar Reddy, Vidhisha Yadav: The Differentiation Between MIMO With Other Antennas.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0677
- ask others
Romain Giot, Christophe Charrier, Maxime Descoteaux: Local Water Diffusion Phenomenon Clustering From High Angular Resolution Diffusion Imaging (HARDI).
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0702
- ask others
Liang Feng, Yew-Soon Ong, Ah-Hwee Tan, Ivor Wai-Hung Tsang: Meme as Building Block for Evolutionary Optimization of Problem Instances.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0704
- ask others
Leonardo Torres, Tamer Cavalcante, Alejandro César Frery: Speckle Reduction using Stochastic Distances.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0742
- ask others
Marc Dymetman, Guillaume Bouchard, Simon Carter: The OS* Algorithm: a Joint Approach to Exact Optimization and Sampling.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0745
- ask others
Lemonia Dritsoula, Patrick Loiseau, John Musacchio: A Game-Theoretical Approach for Finding Optimal Strategies in an Intruder Classification Game.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0753
- ask others
Jiaqi Liu, Zhong Ren, Deng Li: MPO: An Efficient and Low-cost Peer-to-Peer Overlay for Autonomic Communications.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0757
- ask others
Eliana S. de Almeida, Antonio Carlos de Medeiros, Osvaldo A. Rosso, Alejandro César Frery: Generalized Statistical Complexity of SAR Imagery.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0758
- ask others
Nitish Balachandran: Surveying Solutions to Securing On-Demand Routing Protocols in MANETs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0771
- ask others
Leonardo Torres, Antonio C. Medeiros, Alejandro César Frery: Polarimetric SAR Image Smoothing with Stochastic Distances.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0773
- ask others
Benjamin Doerr, Reto Spöhel, Henning Thomas, Carola Winzen: Playing Mastermind with Many Colors.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0780
- ask others
B. Thirumala Rao, L. S. S. Reddy: Survey on Improved Scheduling in Hadoop MapReduce in Cloud Environments.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0782
- ask others
David Burshtein, Alona Strugatski: Polar write once memory codes.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0783
- ask others
Romain Giot, Christophe Rosenberger, Bernadette Dorizzi: Hybrid Template Update System for Unimodal Biometric Systems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0784
- ask others
Romain Giot, Mohamad El-Abed, Christophe Rosenberger: Web-Based Benchmark for Keystroke Dynamics Biometric Systems: A Statistical Analysis.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0788
- ask others
Lorenzo Fagiano, Andrew R. Teel: On generalized terminal state constraints for model predictive control.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0790
- ask others
H. M. N. Dilum Bandara, Anura P. Jayasumana: Collaborative Applications over Peer-to-Peer Systems - Challenges and Solutions.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0805
- ask others
G. Geethu Lakshmi: Anatomical Structure Segmentation in Liver MRI Images.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0806
- ask others
M. Sivasankar, T. R. Padmanabhan: Generation of Efficient Key Bit-Streams Using Sparse Matrix-Vector Multiplication.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0833
- ask others
Frédéric Blanchard, Michel Herbin: Relational Data Mining Through Extraction of Representative Exemplars.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0835
- ask others
Eun Jung Kim, Alexander Langer, Christophe Paul, Felix Reidl, Peter Rossmanith, Ignasi Sau, Somnath Sikdar: Linear kernels and single-exponential algorithms via protrusion decompositions.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0840
- ask others
Heidi Gebauer, Frank Mousset: On Rainbow Cycles and Paths.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0847
- ask others
A. T. Bahgat, K. N. Salama: Memristor-based mono-stable oscillator.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0852
- ask others
Ritchie Lee, David H. Wolpert, James W. Bono, Scott Backhaus, Russell Bent, Brendan Tracey: Counter-Factual Reinforcement Learning: How to Model Decision-Makers That Anticipate The Future.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0854
- ask others
Steve Jiekak, Nicolas Le Scouarnec: CROSS-MBCR: Exact Minimum Bandwith Coordinated Regenerating Codes.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0855
- ask others
Adrian Kuhn, Gail C. Murphy, C. Albert Thompson: An Exploratory Study of Forces and Frictions affecting Large-Scale Model-Driven Development.
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0867
- ask others
Rüdiger Ehlers, Daniela Moldovan: Sparse Positional Strategies for Safety Games. 1-16
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0868
- ask others
Roopsha Samanta: Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs. 17-32
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0869
- ask others
Srinivas Nedunuri, William R. Cook, Douglas R. Smith: Theory and Techniques for Synthesizing a Family of Graph Algorithms. 33-46
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0870
- ask others
Elise Cormie-Bowins, Franck van Breugel: Measuring Progress of Probabilistic LTL Model Checking. 33-47
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0871
- ask others
Hirotoshi Yasuoka, Tachio Terauchi: Quantitative Information Flow as Safety and Liveness Hyperproperties. 77-91
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0872
- ask others
Catuscia Palamidessi, Marco Stronati: Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems. 92-105
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0873
- ask others
Luca Bortolussi, Vashti Galpin, Jane Hillston: Hybrid performance modelling of opportunistic networks. 106-121
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0874
- ask others
Marco Bernardo: Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes. 122-136
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0877
- ask others
Xiumin Wang, Wentu Song, Chau Yuen, Jing Li: Exchanging Third-Party Information with Minimum Transmission Cost.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0879
- ask others
Anyu Wang, Zhifang Zhang: Exact Cooperative Regenerating Codes with Minimum-Repair-Bandwidth for Distributed Storage.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0892
- ask others
T.-H. Hubert Chan, Mingfei Li, Li Ning: Incubators vs Zombies: Fault-Tolerant, Short, Thin and Lanky Spanners for Doubling Metrics.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0894
- ask others
B. Thirumala Rao, N. V. Sridevi, V. Krishna Reddy, L. S. S. Reddy: Performance Issues of Heterogeneous Hadoop Clusters in Cloud Computing.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0911
- ask others
Valentina Colla, Nicola Matarese, Gianluca Nastasi: Prediction of under pickling defects on steel strip surface.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0913
- ask others
Rong-Hua Li, Jeffrey Xu Yu, Zechao Shang: Estimating Node Influenceability in Social Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0917
- ask others
Józef Lubacz, Wojciech Mazurczyk, Krzysztof Szczypiorski: Principles and Overview of Network Steganography.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0922
- ask others
Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He: MDM: A Mode Diagram Modeling Framework for Periodic Control Systems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0932
- ask others
Ton Kloks, Yue-Li Wang: Folding graphs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0933
- ask others
Marek Karpinski, Andrzej Lingas, Dzmitry Sledneu: Optimal Cuts and Bisections on the Real Line in Polynomial Time.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0935
- ask others
Dimitris Fotakis, Christos Tzamos: On the Power of Deterministic Mechanisms for Facility Location Games.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0938
- ask others
Ang Yang, Zesong Fei, Nan Yang, Chengwen Xing, Jingming Kuang: Symbol Error Rate of Space-Time Network Coding in Nakagami-m Fading.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0953
- ask others
Andreas Brandstädt, Arne Leitert, Dieter Rautenbach: Efficient Dominating and Edge Dominating Sets for Graphs and Hypergraphs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0967
- ask others
Ghassan Samara: A New Security Mechanism for Vehicular Communication Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0979
- ask others
Friedrich Eisenbrand, Nicolai Hähnle: Minimizing the number of lattice points in a translated polygon.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0988
- ask others
Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä: Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version).
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1016
- ask others
Marek Kurdej, Julien Moras, Véronique Cherfaoui, Philippe Bonnifait: Map-aided Fusion Using Evidential Grids for Mobile Perception in Urban Environment.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1031
- ask others
Jaume Barceló, Boris Bellalta, Roger Baig, Ramon Roca, Albert Domingo, Luis Sanabria, Cristina Cano, Miquel Oliver: Bottom-up Broadband Initiatives in the Commons for Europe Project.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1032
- ask others
Gordana Dodig-Crnkovic: Info-Computationalism and Philosophical Aspects of Research in Information Sciences.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1033
- ask others
Gordana Dodig-Crnkovic: Alan Turing's Legacy: Info-Computational Philosophy of Nature.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1034
- ask others
Gordana Dodig-Crnkovic, Mark Burgin: Axiomatic Tools versus Constructive approach to Unconventional Algorithms.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1098
- ask others
Youssef Bassil: TCP Congestion Control Scheme for Wireless Networks based on TCP Reserved Field and SNR Ratio.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1114
- ask others
Yao Lu, Kaizhu Huang, Cheng-Lin Liu: A Fast Projected Fixed-Point Algorithm for Large Graph Matching.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1135
- ask others
Philip Bille, Inge Li Gørtz, Tsvi Kopelowitz, Benjamin Sach, Hjalte Wedel Vildhøj: Sparse Suffix Tree Construction with Small Space.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1137
- ask others
Andrea Edelstein, Michael Rabbat: Background Subtraction for Online Calibration of Baseline RSS in RF Sensing Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1140
- ask others
Mahdi Cheraghchi, Venkatesan Guruswami, Ameya Velingker: Restricted Isometry of Fourier Matrices and List Decodability of Random Linear Codes.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1141
- ask others
Nicolaos Matsakis: The Longest Queue Drop Policy for Shared-Memory Switches is 1.5-competitive.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1157
- ask others
Muhammad Rezal Kamel Ariffin, M. A. Asbullah, Nor Azman Abu: A New Efficient Asymmetric Cryptosystem Based on the Square Root Problem.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1161
- ask others
Abhishek Chhajer, Manish K. Gupta, Sandeep Vasani, Jaley Dholakiya: Modular Arithmetic Expressions and Primality Testing via DNA Self-Assembly.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1166
- ask others
Guoqiang Mao: On the Fundamental Relationship Determining the Capacity of Static and Mobile Wireless Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1173
- ask others
Shanmugasundaram G., V. Prasanna Venkatesan, C. Punitha Devi: A Comprehensive Model to achieve .
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1187
- ask others
Hardik Shah, Andreas Raabe, Alois Knoll: Dynamic Priority Queue: An SDRAM Arbiter With Bounded Access Latencies for Tight WCET Calculation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1188
- ask others
Meixia Qu, Junfeng Luan, Daming Zhu: On the toggling-branching recurrence of Computability Logic.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1230
- ask others
Qibin Zhao, Cesar F. Caiafa, Danilo P. Mandic, Zenas C. Chao, Yasuo Nagasaka, Naotaka Fujii, Liqing Zhang, Andrzej Cichocki: Higher-Order Partial Least Squares (HOPLS): A Generalized Multi-Linear Regression Method.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1238
- ask others
Mladen Kovacevic, Ivan Stanojevic, Vojin Senk: On the Hardness of Entropy Minimization and Related Problems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1253
- ask others
François Bavaud, Guillaume Guex: Interpolating between Random Walks and Shortest Paths: a Path Functional Approach.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1255
- ask others
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: Adjunctions for exceptions.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1257
- ask others
Anton Belov, João Marques-Silva: Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality.
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1264
- ask others
Sergio Giro: Efficient computation of exact solutions for quantitative model checking. 17-32
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1265
- ask others
Martin Hoefer, Lisa Wagner: Locally Stable Matching with General Preferences.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1266
- ask others
Gabriel Nivasch, János Pach, Rom Pinchasi, Shira Zerbib: The number of distinct distances from a vertex of a convex polygon.
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1268
- ask others
Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer: Synthesizing Robust Systems with RATSY. 47-53
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1271
- ask others
Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio: Automated Verification of Quantum Protocols using MCMAS. 48-62
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1272
- ask others
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang: UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. 1-16
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1276
- ask others
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier: Controllers with Minimal Observation Power (Application to Timed Systems).
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1277
- ask others
Ofer Neiman, Shay Solomon: Deterministic Algorithms for Fully Dynamic Maximal Matching.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1280
- ask others
Igor Cizelj, Calin Belta: Probabilistically Safe Control of Noisy Dubins Vehicles.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1307
- ask others
Michalis Christou, Maxime Crochemore, Costas S. Iliopoulos: Identifying all abelian periods of a string in quadratic time and relevant problems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1315
- ask others
Juan Julián Merelo Guervós, Antonio Miguel Mora, Carlos Cotta, Thomas Philip Runarsson: An experimental study of exhaustive solutions for the Mastermind puzzle.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1333
- ask others
Patrick Jaillet, José A. Soto, Rico Zenklusen: Advances on Matroid Secretary Problems: Free Order Model and Laminar Case.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1337
- ask others
Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit: Optimization in a Self-Stabilizing Service Discovery Framework for Large Scale Systems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1345
- ask others
Eli Haim, Yuval Kochman, Uri Erez: Distributed Structure: Joint Expurgation for the Multiple-Access Channel.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1350
- ask others
Daniel Bryce, Subbarao Kambhampati: Cost Sensitive Reachability Heuristics for Handling State Uncertainty.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1351
- ask others
Peter R. de Waal, Linda C. van der Gaag: Stable Independence in Perfect Maps.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1352
- ask others
Eric Horvitz, Johnson Apacible, Raman Sarin, Lin Liao: Prediction, Expectation, and Surprise: Methods, Designs, and Study of a Deployed Traffic Forecasting Service.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1353
- ask others
Kristian Kersting, Tapani Raiko: 'Say EM' for Selecting Probabilistic Models for Logical Sequences.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1354
- ask others
Kathryn Blackmond Laskey, Paulo Cesar G. da Costa: Of Starships and Klingons: Bayesian Logic for the 23rd Century.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1355
- ask others
Anders L. Madsen: A Differential Semantics of Lazy AR Propagation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1356
- ask others
Yun Peng, Zhongli Ding: Modifying Bayesian Networks by Probability Constraints.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1357
- ask others
Silja Renooij, Linda C. van der Gaag: Exploiting Evidence-dependent Sensitivity Bounds.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1358
- ask others
Susan M. Shortreed, Marina Meila: Unsupervised spectral learning.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1359
- ask others
Daniel Szer, François Charpillet, Shlomo Zilberstein: MAA*: A Heuristic Search Algorithm for Solving Decentralized POMDPs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1360
- ask others
Jonathan Bredin, David C. Parkes: Models for Truthful Online Double Auctions.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1361
- ask others
Darius Braziunas, Craig Boutilier: Local Utility Elicitation in GAI Models.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1362
- ask others
Itai Ashlagi, Dov Monderer, Moshe Tennenholtz: On the Value of Correlation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1363
- ask others
Leila Amgoud: A unified setting for inference and decision: An argumentation-based approach.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1364
- ask others
Eric Altendorf, Angelo C. Restificar, Thomas G. Dietterich: Learning from Sparse Data by Exploiting Monotonicity Constraints.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1366
- ask others
Pieter Abbeel, Daphne Koller, Andrew Y. Ng: Learning Factor Graphs in Polynomial Time & Sample Complexity.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1367
- ask others
Cassio Polpo de Campos, Fabio Gagliardi Cozman: Belief Updating and Learning in Semi-Qualitative Probabilistic Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1368
- ask others
Vincent Conitzer, Tuomas Sandholm: Common Voting Rules as Maximum Likelihood Estimators.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1369
- ask others
Barry R. Cobb, Prakash P. Shenoy: Hybrid Bayesian Networks with Linear Deterministic Variables.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1370
- ask others
Arthur Choi, Hei Chan, Adnan Darwiche: On Bayesian Network Approximation by Edge Deletion.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1371
- ask others
Shuchi Chawla, Cynthia Dwork, Frank McSherry, Kunal Talwar: On Privacy-Preserving Histograms.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1372
- ask others
Mark Chavira, David Allen, Adnan Darwiche: Exploiting Evidence in Probabilistic Inference.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1373
- ask others
Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1374
- ask others
Jennifer Carlson, Robin R. Murphy: Use of Dempster-Shafer Conflict Metric to Detect Interpretation Inconsistency.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1375
- ask others
Peter Carbonetto, Jacek Kisynski, Nando de Freitas, David Poole: Nonparametric Bayesian Logic.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1376
- ask others
Zhihong Cai, Manabu Kuroki: Counterfactual Reasoning in Linear Structural Equation Models.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1377
- ask others
Jakub Brzostowski, Ryszard Kowalczyk: Efficient algorithm for estimation of qualitative expected utility in possibilistic case-based reasoning.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1378
- ask others
Changsung Kang, Jin Tian: Local Markov Property for Models Satisfying Composition Axiom.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1379
- ask others
Shen-Shyang Ho, Harry Wechsler: On the Detection of Concept Changes in Time-Varying Data Stream by Testing Exchangeability.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1380
- ask others
Markus Harva, Tapani Raiko, Antti Honkela, Harri Valpola, Juha Karhunen: Bayes Blocks: An Implementation of the Variational Bayesian Building Blocks Framework.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1381
- ask others
Rafay Hammid, Siddhartha Maddi, Amos Y. Johnson, Aaron F. Bobick, Irfan A. Essa, Charles Lee Isbell Jr.: Unsupervised Activity Discovery and Characterization From Event-Streams.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1382
- ask others
Yuhong Guo, Dana F. Wilkinson, Dale Schuurmans: Maximum Margin Bayesian Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1383
- ask others
Gianluigi Greco, Francesco Scarcello: Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1384
- ask others
Vibhav Gogate, Rina Dechter, Bozhena Bidyuk, Craig Rindt, James Marca: Modeling Transportation Routines using Hybrid Dynamic Mixed Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1385
- ask others
Vibhav Gogate, Rina Dechter: Approximate Inference Algorithms for Hybrid Bayesian Networks with Discrete Constraints.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1386
- ask others
Norman Ferns, Prakash Panangaden, Doina Precup: Metrics for Markov Decision Processes with Infinite State Spaces.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1387
- ask others
Ad Feelders, Linda C. van der Gaag: Learning Bayesian Network Parameters with Prior Knowledge about Context-Specific Qualitative Influences.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1388
- ask others
Eyal Even-Dar, Sham M. Kakade, Yishay Mansour: Planning in POMDPs Using Multiplicity Automata.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1389
- ask others
Frederick Eberhardt, Clark Glymour, Richard Scheines: On the Number of Experiments Sufficient and in the Worst Case Necessary to Identify All Causal Relations Among N Variables.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1390
- ask others
Carmel Domshlak, Thorsten Joachims: Unstructuring User Preferences: Efficient Non-Parametric Utility Revelation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1391
- ask others
Yaxin Liu, Sven Koenig: Existence and Finiteness Conditions for Risk-Sensitive Planning: Results and Conjectures.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1393
- ask others
Hendrik Kück, Nando de Freitas: Learning about individuals from group statistics.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1394
- ask others
Andreas Krause, Carlos Guestrin: Near-optimal Nonmyopic Value of Information in Graphical Models.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1395
- ask others
Vladimir Kolmogorov, Martin J. Wainwright: On the optimality of tree-reweighted max-product message-passing.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1397
- ask others
Guilin Qi, Weiru Liu, David A. Bell: A Revision-Based Approach to Resolving Conflicting Information.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1398
- ask others
Avi Pfeffer, Terry Tai: Asynchronous Dynamic Bayesian Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1399
- ask others
Mark Paskin, Sebastian Thrun: Robotic Mapping with Polygonal Random Fields.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1400
- ask others
Anna Osepayshvili, Michael P. Wellman, Daniel M. Reeves, Jeffrey K. MacKie-Mason: Self-Confirming Price Prediction for Bidding in Simultaneous Ascending Auctions.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1401
- ask others
Uri Nodelman, Daphne Koller, Christian R. Shelton: Expectation Propagation for Continuous Time Bayesian Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1402
- ask others
Uri Nodelman, Christian R. Shelton, Daphne Koller: Expectation Maximization and Complex Duration Distributions for Continuous Time Bayesian Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1403
- ask others
Alexandru Niculescu-Mizil, Rich Caruana: Obtaining Calibrated Probabilities from Boosting.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1404
- ask others
Mukund Narasimhan, Jeff A. Bilmes: A submodular-supermodular procedure with applications to discriminative structure learning.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1405
- ask others
Joris M. Mooij, Hilbert J. Kappen: Sufficient conditions for convergence of Loopy Belief Propagation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1406
- ask others
Andrew McCallum, Kedar Bellare, Fernando C. N. Pereira: A Conditional Random Field for Discriminatively-trained Finite-state String Edit Distance.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1407
- ask others
Robert Mateescu, Rina Dechter: The Relationship Between AND/OR Search and Variable Elimination.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1408
- ask others
Sridhar Mahadevan: Representation Policy Iteration.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1409
- ask others
Charles A. Sutton, Andrew McCallum: Piecewise Training for Undirected Models.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1410
- ask others
Umberto Straccia: Description Logics with Fuzzy Concrete Domains.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1411
- ask others
Finnegan Southey, Michael Bowling, Bryce Larson, Carmelo Piccione, Neil Burch, Darse Billings, D. Chris Rayner: Bayes' Bluff: Opponent Modelling in Poker.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1412
- ask others
Trey Smith, Reid G. Simmons: Point-Based POMDP Algorithms: Improved Analysis and Implementation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1413
- ask others
Shohei Shimizu, Aapo Hyvärinen, Yutaka Kano, Patrik O. Hoyer: Discovery of non-gaussian linear causal models using ICA.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1414
- ask others
Eerika Savia, Kai Puolamäki, Janne Sinkkonen, Samuel Kaski: Two-Way Latent Grouping Model for User Preference Prediction.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1415
- ask others
Scott Sanner, Craig Boutilier: Approximate Linear Programming for First-order MDPs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1416
- ask others
Matthew R. Rudary, Satinder P. Singh, David Wingate: Predictive Linear-Gaussian Models of Stochastic Dynamical Systems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1417
- ask others
Michal Rosen-Zvi, Michael I. Jordan, Alan L. Yuille: The DLR Hierarchy of Approximate Inference.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1418
- ask others
Alice X. Zheng, Irina Rish, Alina Beygelzimer: Efficient Test Selection in Active Diagnosis via Entropy Approximation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1419
- ask others
Jiji Zhang, Peter Spirtes: A Transformational Characterization of Markov Equivalence for Directed Acyclic Graphs with Latent Variables.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1420
- ask others
Luke S. Zettlemoyer, Michael Collins: Learning to Map Sentences to Logical Form: Structured Classification with Probabilistic Categorial Grammars.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1421
- ask others
Huizhen Yu: A Function Approximation Approach to Estimation of Policy Gradient for POMDP with Structured Policies.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1422
- ask others
Changhe Yuan, Marek J. Druzdzel: Importance Sampling in Bayesian Networks: An Influence-Based Approximation Strategy for Importance Functions.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1423
- ask others
Eric P. Xing, Rong Yan, Alexander G. Hauptmann: Mining Associated Text and Images with Dual-Wing Harmoniums.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1424
- ask others
John R. Wicks, Amy Greenwald: An Algorithm for Computing Stochastically Stable Distributions with Applications to Multiagent Learning in Repeated Games.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1425
- ask others
Paul Weng: Qualitative Decision Making Under Possibilistic Uncertainty: Toward more discriminating criteria.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1426
- ask others
Max Welling, Thomas P. Minka, Yee Whye Teh: Structured Region Graphs: Morphing EP into GBP.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1427
- ask others
Segev Wasserkrug, Avigdor Gal, Opher Etzion: A Model for Reasoning with Uncertain Rules in Event Composition Systems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1429
- ask others
Marc Teyssier, Daphne Koller: Ordering-Based Search: A Simple and Effective Algorithm for Learning Bayesian Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1457
- ask others
Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières: Flexible Dynamic Information Flow Control in the Presence of Exceptions.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1469
- ask others
Jun Wang, Jianshu Chen, Danijela Cabric: Cramer-Rao Bounds for Joint RSS/DoA-Based Primary-User Localization in Cognitive Radio Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1493
- ask others
Ivan Ruchkin, Vladimir Prus: Single-window Integrated Development Environment.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1501
- ask others
Gol Kim, Fei Ye: Super-Mixed Multiple Attribute Group Decision Making Method Based on Hybrid Fuzzy Grey Relation Approach Degree.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1512
- ask others
Xiaoli Xu, Yong Zeng, Yong Liang Guan, Tracey Ho: Detailed Steps of the Fourier-Motzkin Elimination.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1514
- ask others
Yoora Kim, Kyunghan Lee, Ness B. Shroff, Injong Rhee, Song Chong: On the Generalized Delay-Capacity Tradeoff of Mobile Networks with Lévy Flight Mobility.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1517
- ask others
Tingting Liu, Chenyang Yang: On the Feasibility of Interference Alignment for MIMO Interference Broadcast Channels.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1520
- ask others
Kamen Lozev: Algorithms for High-Performance Networking in the Presence of Obstacles.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1522
- ask others
Jonathan Masci, Michael M. Bronstein, Alexander A. Bronstein, Jürgen Schmidhuber: Multimodal similarity-preserving hashing.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1524
- ask others
Vasanthan Raghavan, Venugopal V. Veeravalli: Ensemble Properties of RVQ-Based Limited-Feedback Beamforming Codebooks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1534
- ask others
Gol Kim, Yunchol Jong, Sifeng Liu: Generalized Hybrid Grey Relation Method for Multiple Attribute Mixed Type Decision Making.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1535
- ask others
Rudresh Shirwaikar, Nikhil Rajadhyax: Data Mining on Educational Domain.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1542
- ask others
Neha Patwari, Parvati Bhurani: Framework of SQL Injection Attack.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1547
- ask others
Gol Kim, Ri Suk Yun: Hybrid Forecasting of Exchange Rate by Using Chaos Wavelet SVM-Markov Model and Grey Relation Degree.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1550
- ask others
Yuanxin Wu, Xianfei Pan: Velocity/Position Integration Formula (I): Application to In-flight Coarse Alignment.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1551
- ask others
Shervan Fekri Ershad, Mohammad Saberi, Farshad Tajeripour: An Innovative Skin Detection Approach Using Color Based Image Retrieval Technique.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1553
- ask others
Yuanxin Wu, Xianfei Pan: Velocity/Position Integration Formula (II): Application to Inertial Navigation Computation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1563
- ask others
Frederic Knabe, Omar Mohamed, Carolin Huppert: Achievable Sum-Rates in Gaussian Multiple-Access Channels with MIMO-AF-Relay and Direct Links.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1571
- ask others
Tadeusz Tomczak, Katarzyna Zadarnowska, Zbigniew Koza, Maciej Matyka, Lukasz Miroslaw: Complete PISO and SIMPLE solvers on Graphics Processing Units.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1591
- ask others
P. Radha Krishna Reddy, Ashim Roy, G. Sireesha, Ismatha Begum, S. Siva Ramaiah: A Secure Dynamic Job Scheduling on Smart Grid using RSA Algorithm.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1641
- ask others
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1649
- ask others
Núbia Rosa da Silva, Odemir Martinez Bruno: Analysis of Multi-Scale Fractal Dimension to Classify Human Motion.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1668
- ask others
Michael Elkin, Shay Solomon: Fast Constructions of Light-Weight Spanners for General Graphs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1683
- ask others
Nungleppam Monoranjan Singh, Kanak Chandra Sarma, Nungleppam Gopil Singh: Design and Development of Low Cost Multi-Channel USB Data.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1690
- ask others
Michael Marcondes de Freitas, Eduardo D. Sontag: Remarks on random dynamical systems with inputs and outputs and a small-gain theorem for monotone RDS.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1700
- ask others
Z. A. Khan, Nadeem Javaid, M. H. Arshad, Ayesha Bibi, B. Qasim: Performance Evaluation of Widely used Portknoking Algorithms.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1701
- ask others
Preetida Vinayakray-Jani, Sugata Sanyal: Security Architecture for Cluster based Ad Hoc Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1702
- ask others
Obaid ur Rehman, Nadeem Javaid, Ayesha Bibi, Zahoor Ali Khan: Performance Study of Localization Techniques in Wireless Body Area Sensor Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1746
- ask others
Mauro Bianco, Ugo Varetto: A Generic Library for Stencil Computations.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1760
- ask others
Jin Tan, Danielle Carmon, Dror Baron: Signal Estimation with Arbitrary Error Metrics in Compressed Sensing.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1765
- ask others
Jonathan Masci, Ueli Meier, Gabriel Fricout, Jürgen Schmidhuber: Object Recognition with Multi-Scale Pyramidal Pooling Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1768
- ask others
S. Sagar, Nadeem Javaid, Z. A. Khan, J. Saqib, Ayesha Bibi, Safdar Hussain Bouk: Analysis and Modeling Experiment Performance Parameters of Routing Protocols in MANETs and VANETs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1773
- ask others
Raffaele Solcà, Thomas C. Schulthess, Azzam Haidar, Stanimire Tomov, Ichitaro Yamazaki, Jack Dongarra: A hybrid Hermitian general eigenvalue solver.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1777
- ask others
S. Kumar, Nadeem Javaid, Z. Yousuf, H. Kumar, Z. A. Khan, Ayesha Bibi: DSDV, DYMO, OLSR: Link Duration and Path Stability.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1788
- ask others
Leah Epstein, Asaf Levin, Danny Segev, Oren Weimann: Improved Bounds for Online Preemptive Matching.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1794
- ask others
Daniel Karapetyan: Design, Evaluation and Analysis of Combinatorial Optimization Heuristic Algorithms.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1805
- ask others
Ferkan Yilmaz, Mohamed-Slim Alouini: A Novel Ergodic Capacity Analysis.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1811
- ask others
George Katsirelos, Nina Narodytska, Toby Walsh: The SeqBin Constraint Revisited.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1813
- ask others
Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn: Introspective Pushdown Analysis of Higher-Order Programs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1818
- ask others
Rúben Gouveia, Evangelos Niforatos, Evangelos Karapanos: Footprint Tracker: reviewing lifelogs and reconstructing daily experiences.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1820
- ask others
José Rodrigues, Rúben Gouveia, Olga Lyra, Evangelos Karapanos: Sense me: Supporting awareness in parent-child relationships through mobile sensing.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1821
- ask others
Evangelos Karapanos: Beyond Experience Sampling: Evaluating Personal Informatics with Technology-Assisted Reconstruction.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1831
- ask others
Michael Elkin, Shay Solomon: Optimal Euclidean spanners: really short, thin and lanky.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1832
- ask others
Abdallah Saffidine: Minimal Proof Search for Modal Logic K Model Checking.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1836
- ask others
Magnús M. Halldórsson, Pradipta Mitra: Towards Tight Bounds for Local Broadcasting.
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1841
- ask others
César Andrés, Luis Llana (Eds.): Proceedings 2nd Workshop on Formal Methods in the Development of Software. EPTCS 86 2012
Contents
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1845
- ask others
Sung-Tai Choi, Seokbeom Hong, Jong-Seon No, Habong Chung: Differential Spectrum of Some Power Functions With Low Differential Uniformity.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1847
- ask others
Ted Dunning: Finding Structure in Text, Genome and Other Symbolic Sequences.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1852
- ask others
Christoph Lenzen: Optimal Deterministic Routing and Sorting on the Congested Clique.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1855
- ask others
Jun Zhang, Yuanqing Li, Zhu Liang Yu, Zhenghui Gu: Recoverability Analysis for Modified Compressive Sensing with Partially Known Support.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1860
- ask others
Siu-Wai Ho, Terence H. Chan, Alex J. Grant, Chinthani Uduwerelle: Error Free Perfect Secrecy Systems.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1872
- ask others
Vladimir V. Bochkarev, Eduard Yu. Lerner: Zipf and non-Zipf Laws for Homogeneous Markov Chain.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1875
- ask others
S. K. Gupta, Akash Khandelwal: Reconstruction Conjecture for Graphs Isomorphic to Cube of a Tree.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1878
- ask others
Donggyu Yun, Jungseul Ok, Bongjhin Shin, Soobum Park, Yung Yi: Embedding of Virtual Network Requests over Static Wireless Multihop Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1885
- ask others
Raphaël Clifford, Markus Jalsenius, Benjamin Sach: Tight Cell-Probe Bounds for Online Hamming Distance Computation.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1894
- ask others
John-John Cabibihan, Wing Chee So, Sujin Saj, Zhengchen Zhang: Telerobotic Pointing Gestures Shape Human Spatial Cognition.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1916
- ask others
Eliana S. de Almeida, Antonio C. Medeiros, Alejandro César Frery: How good are MatLab, Octave and Scilab for Computational Modelling?
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1921
- ask others
Grenville J. Croll: Spreadsheets and Long Term Corporate Survival.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1922
- ask others
Firouz Abdullah Al-Wassai, N. V. Kalyankar, Ali A. Al-Zaky: Spatial And Spectral Quality Evaluation Based On Edges Regions Of Satellite Image Fusion.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1933
- ask others
Gol Kim, Ri Suk Yun: A Hybrid Forecast of Exchange Rate based on ARFIMA,Discrete Grey-Markov, and Fractal Kalman Model.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1936
- ask others
Jun Kurihara, Tomohiko Uyematsu, Ryutaroh Matsumoto: New Parameters of Linear Codes Expressing Security Performance of Universal Secure Network Coding.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1982
- ask others
Janusz A. Brzozowski, David Liu: Universal Witnesses for State Complexity of Boolean Operations and Concatenation Combined with Star.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1986
- ask others
Xiaoli Xu, Yong Zeng, Yong Liang Guan, Tracey Ho: On the Capacity Region of .
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2000
- ask others
Stefano Riverso, Giancarlo Ferrari-Trecate: Hycon2 Benchmark: Power Network System.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2017
- ask others
Joachim Breitner: dup -- Explicit un-sharing in Haskell.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2037
- ask others
Zohra Slimane, Mohamed Feham, Abdelhafid Abdelmalek: Seamless Infrastructure independent Multi Homed NEMO Handoff Using Effective and Timely IEEE 802.21 MIH triggers.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2041
- ask others
Robert W. Heath Jr., Marios Kountouris: Modeling Heterogeneous Network Interference with Using Poisson Point Processes.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2060
- ask others
N. Monoranjan Singh, K. C. Sarma: Design of PIC12F675 Microcontroller Based Data Acquisition System for Slowly Varying Signals.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2079
- ask others
Jean Barbier, Florent Krzakala, Marc Mézard, Lenka Zdeborová: Compressed Sensing of Approximately-Sparse Signals: Phase Transitions and Optimal Reconstruction.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2080
- ask others
Malte Harder, Christoph Salge, Daniel Polani: A Bivariate Measure of Redundant Information.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2083
- ask others
Johan P. Hansen: Equidistant Linear Network Codes with maximal Error-protection from Veronese Varieties.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2092
- ask others
Lalitha Sankar, H. Vincent Poor: Distributed Estimation in Multi-Agent Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2094
- ask others
Mojtaba Vaezi: The Capacity of More Capable Cognitive Interference Channels.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2103
- ask others
Xinping Yi, David Gesbert: Precoding Methods for MISO Broadcast Channel with Delayed CSIT.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2104
- ask others
Rajdeep Borgohain, Sugata Sanyal: Rule Based Expert System for Diagnosis of Neuromuscular Disorders.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2137
- ask others
Won-Yong Shin, Dohyung Park, Bang Chul Jung: Can One Achieve Multiuser Diversity in Uplink Multi-Cell Networks?
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2169
- ask others
Diego Fabregat-Traver, Yurii S. Aulchenko, Paolo Bientinesi: High-throughput Genome-wide Association Analysis for Single and Multiple Phenotypes.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2171
- ask others
Satoshi Tazawa: Integer factorization and Discrete Logarithm problem are neither in P nor NP-complete.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2189
- ask others
Daniel Lemire, Owen Kaser, Eduardo Gutarra: Reordering Rows for Better Compression: Beyond the Lexicographic Order.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2211
- ask others
Namyoon Lee, Robert W. Heath Jr.: Not Too Delayed CSIT Achieves the Optimal Degrees of Freedom.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2215
- ask others
Matthew C. Valenti, Xingyu Xiang: Constellation Shaping for Bit-Interleaved LDPC Coded APSK.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2229
- ask others
Anindya De, Ilias Diakonikolas, Rocco A. Servedio: A robust Khintchine-Kahane .
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2232
- ask others
P. C. Sherimon, Reshmy Krishnan, P. V. Vinu: Effective Enabling of Sharing and Reuse of Knowledge On Semantic Web by Ontology in Date Fruit Model.
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2234
- ask others
Simona Nica, Franz Wotawa: Using Constraints for Equivalent Mutant Detection. 1-8
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2235
- ask others
Debajyoti Mukhopadhyay, Sheetal Vij, Suyog Tasare: NAAS: Negotiation Automation Architecture with Buyer's Behavior Pattern Prediction Component.
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2236
- ask others
Maria Spichkova, Florian Hölzl, David Trachtenherz: Verified System Development with the AutoFocus Tool Chain. 17-24
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2237
- ask others
Andreas Bollin, Abdollah Tabareh: Predictive Software Measures based on Z Specifications - A Case Study. 33-40
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2240
- ask others
N. A. Khan, Nadeem Javaid, Z. A. Khan, M. Jaffar, U. Rafiq, Ayesha Bibi: Ubiquitous HealthCare in Wireless Body Area Networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2243
- ask others
Alexei Yu. Uteshev, Marina V. Yashina: Metric Problems for Quadrics in Multidimensional Space.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2254
- ask others
Gol Kim, Ri Suk Yun: A Hybrid Forecast of Exchange Rate based on Discrete Grey-Markov and Grey Neural Network Model.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2265
- ask others
Daoud Clarke: Challenges for Distributional Compositional Semantics.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2268
- ask others
Imen Chaabouni, Wiem Fourati, Med Salim Bouhlel: Improvement of ISOM by using filter.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2280
- ask others
Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller, Felix Tscheulin: Understanding the Learners' Actions when using Mathematics Learning Tools.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2291
- ask others
Muhammad Taimoor Khan, Wolfgang Schreiner: On Formal Specification of Maple Programs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2300
- ask others
Muhammad Taimoor Khan, Wolfgang Schreiner: Towards the Formal Specification and Verification of Maple Programs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2317
- ask others
Sergio Cabello: Stackelberg Shortest Path Tree Game, Revisited.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2328
- ask others
Pan Zhang, Florent Krzakala, Jörg Reichardt, Lenka Zdeborová: Comparative Study for Inference of Hidden Classes in Stochastic Block Models.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2334
- ask others
Reginald D. Smith: Distinct word length frequencies: distributions and symbol entropies.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2335
- ask others
Mayank Bakshi, Sidharth Jaggi, Sheng Cai, Minghua Chen: SHO-FA: Robust compressive sensing with order-optimal complexity, measurements, and bits.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2336
- ask others
Jörg Endrullis, Dimitri Hendriks: On Periodically Iterated Morphisms.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2340
- ask others
Aiyou Chen, Arash A. Amini, Peter J. Bickel, Elizaveta Levina: Fitting community models to large sparse networks.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2341
- ask others
Casper Kejlberg-Rasmussen, Konstantinos Tsakalidis, Kostas Tsichlas: I/O-Efficient Dynamic Planar Range Skyline Queries.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2345
- ask others
Armen Bagdasaryan: Some Euler-type formulas for planar graphs.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2346
- ask others
Rocío González-Díaz, Javier Lamar, Ronald Umble: On the Z/2-Cohomology of 3D Polyhedral Approximations.
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2354
- ask others
  </