default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, July 2012
- Ruchen Duan, Yingbin Liang:
Bounds and Capacity Theorems for Cognitive Interference Channels with State. - Derek Greene, Derek O'Callaghan, Pádraig Cunningham:
Identifying Topical Twitter Communities via User List Aggregation. - Robinson Ebi Elias J, Rajesh R:
Quasi-Orthogonal Space-Time-Frequency Trellis Codes for MIMO-OFDM Systems. - Anders Hansson, Zhang Liu, Lieven Vandenberghe:
Subspace System Identification via Weighted Nuclear Norm Optimization. - Swarnendu Kar, Pramod K. Varshney:
Linear Coherent Estimation with Spatial Collaboration. - Dashiell E. A. Fryer:
The Uniform Distribution in Incentive Dynamics. - Bundit Laekhanukit, Adrian Vetta, Gordon T. Wilfong:
Routing Regardless of Network Stability. - Rasoul Ramezanian:
Computation Environments (2) Persistently Evolutionary Semantics. - Jacob Andreas:
The Complexity of Learning Principles and Parameters Grammars. - Yoshua Bengio, Guillaume Alain, Salah Rifai:
Implicit Density Estimation by Local Moment Matching to Sample from Auto-Encoders. - Eyal Ackerman, Rom Pinchasi:
A note on coloring line arrangements. - Ge Guo, Wing Shing Wong, Zhongchang Liu:
Cooperative Target Realization in Multi-Agent Systems Allowing Choice-Based Actions. - Masashi Sugiyama, Takafumi Kanamori, Taiji Suzuki, Marthinus Christoffel du Plessis, Song Liu, Ichiro Takeuchi:
Density-Difference Estimation. - Rajdeep Borgohain, Sugata Sanyal:
Rule Based Expert System for Cerebral Palsy Diagnosis. - Nihar B. Shah, K. V. Rashmi, Kannan Ramchandran:
Secret Share Dissemination across a Network. - Manoj Rameshchandra Thakur:
A Distributed and Cooperative Approach to Botnet Detection Using Gossip Protocol. - Rakesh Pimplikar, Sunita Sarawagi:
Answering Table Queries on the Web using Column Keywords. - Sven Leyffer, Ilya Safro:
Fast Response to Infection Spread and Cyber Attacks on Large-Scale Networks. - Lukas Blunschi, Claudio Jossen, Donald Kossmann, Magdalini Mori, Kurt Stockinger:
SODA: Generating SQL for Business Users. - Manolis Terrovitis, John Liagouris, Nikos Mamoulis, Spiros Skiadopoulos:
Privacy Preservation by Disassociation. - Bhargav Kanagal, Amr Ahmed, Sandeep Pandey, Vanja Josifovski, Jeffrey Yuan, Lluis Garcia Pueyo:
Supercharging Recommender Systems using Taxonomies for Learning User Purchase Behavior. - Yanif Ahmad, Oliver Kennedy, Christoph Koch, Milos Nikolic:
DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views. - 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. - Odysseas Papapetrou, Minos N. Garofalakis, Antonios Deligiannakis:
Sketch-based Querying of Distributed Sliding-Window Data Streams. - Hoang Tam Vo, Sheng Wang, Divyakant Agrawal, Gang Chen, Beng Chin Ooi:
LogBase: A Scalable Log-structured Database System in the Cloud. - Wei Lu, Yanyan Shen, Su Chen, Beng Chin Ooi:
Efficient Processing of k Nearest Neighbor Joins using MapReduce. - Nikolay Laptev, Kai Zeng, Carlo Zaniolo:
Early Accurate Results for Advanced Analytics on MapReduce. - Xuan Liu, Meiyu Lu, Beng Chin Ooi, Yanyan Shen, Sai Wu, Meihui Zhang:
CDAS: A Crowdsourcing Data Analytics System. - Mayank Sachan, Arnab Bhattacharya:
Mining Statistically Significant Substrings using the Chi-Square Statistic. - Martina-Cezara Albutiu, Alfons Kemper, Thomas Neumann
:
Massively Parallel Sort-Merge Joins in Main Memory Multi-Core Database Systems. - 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. - Matthew D. Zeiler, Rob Fergus:
Differentiable Pooling for Hierarchical Feature Learning. - George Athanasiou:
Green Traffic Engineering for Future Core Networks. - Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi:
On the Complexity of Equivalence of Specifications of Infinite Objects. - George Athanasiou:
Energy-efficient traffic engineering for future core networks. - George Athanasiou, Leandros Tassiulas:
Design and Implementation of Distributed Resource Management Mechanisms for Wireless Mesh Networks. - Marios Logothetis, George Athanasiou, Kostas Tsagkaris, Panagiotis Demestichas:
Green Footprint by Cognitive Management of Opportunistic Networks. - George Athanasiou:
Resource Allocation in ClubADSL. - Claudio Gentile, Francesco Orabona:
On Multilabel Classification and Ranking with Partial Feedback. - (Withdrawn) Generation of Efficient Key Bit-Streams.
- Jayavardhana Gubbi, Rajkumar Buyya, Slaven Marusic, Marimuthu Palaniswami:
Internet of Things (IoT): A Vision, Architectural Elements, and Future Directions. - Ilya Loshchilov, Marc Schoenauer, Michèle Sebag:
Alternative Restart Strategies for CMA-ES. - Dominique Barth, Boubkeur Boudaoud, Thierry Mautor:
La théorie des jeux pour l'établissement des contrats dans les réseaux interdomaines. - Zohir Bouzid, Shantanu Das, Sébastien Tixeuil:
Wait-Free Gathering of Mobile Robots. - Leszek Szczecinski, Ciro Correa, Luciano Ahumada:
Variable-rate Retransmissions for Incremental Redundancy Hybrid ARQ. - Robert Georges, Frank Hoffmann, Klaus Kriegel:
Online Exploration of Polygons with Holes. - Noah A. Smith:
Adversarial Evaluation for Models of Natural Language. - Emilio Ferrara, Pasquale De Meo, Giacomo Fiumara, Robert Baumgartner:
Web Data Extraction, Applications and Techniques: A Survey. - Pierre Fraigniaud, Amos Korman, Merav Parter, David Peleg:
Randomized Distributed Decision. - Pavel Klavík, Jan Kratochvíl, Yota Otachi, Toshiki Saitoh:
Extending Partial Representations of Subclasses of Chordal Graphs. - Yutaka Hori, Shinji Hara:
Biochemical Oscillations in Delayed Negative Cyclic Feedback: Harmonic Balance Analysis with Applications. - Shiping Wang, Qingxin Zhu, William Zhu, Fan Min:
Boolean matrix decomposition through covering-based rough sets. - Shivani Agarwal:
Surrogate Regret Bounds for Bipartite Ranking via Strongly Proper Losses. - (Withdrawn) Breaking the Estream Finalists and AES Modes of Operation Faster than Exhaustive Search.
- (Withdrawn) Approximating Soft-Capacitated Facility Location Problem With Uncertainty.
- Haichuan Ding, Shaodan Ma, Chengwen Xing, Zesong Fei, Jingming Kuang:
Performance Analysis for Heterogeneous Cellular Systems with Range Expansion. - Laurent Tapie, Kwamiwi Mawussi, Alain Bernard:
Topological model for machining of parts with complex shapes. - S. M. Sadegh Tabatabaei Yazdi, Lara Dolecek:
Synchronization from Deletions Through Interactive Communication. - Eado Meron, Meir Feder, Mark Shtaif:
On the Achievable Communication Rates of Generalized Soliton Transmission Systems. - Yuriy Ostapov:
Intellectual Management of Enterprise. - Huyen Chi Bui, Jérôme Lacan, Marie-Laure Boucheret:
Multi-slot Coded ALOHA with Irregular Degree Distribution. - Angsheng Li, Peng Zhang:
Algorithmic Aspects of Homophyly of Networks. - Marius Buliga:
Local and global moves on locally planar trivalent graphs, lambda calculus and $λ$-Scale. - Anas Chaaban, Aydin Sezgin:
Signal Space Alignment for the Gaussian Y-Channel. - Anas Chaaban, Aydin Sezgin:
Lattice Coding and the Generalized Degrees of Freedom of the Interference Channel with Relay. - Anas Chaaban, Aydin Sezgin:
The DoF of the K-user Interference Channel with a Cognitive Relay. - (Withdrawn) Dynamic Power Distribution and Energy Management in a Reconfigurable Multi-Robotic Organism.
- Sourav Dutta, Arnab Bhattacharya:
INSTRUCT: Space-Efficient Structure for Indexing and Complete Query Management of String Databases. - Nuno K. Pratas, Henning Thomsen, Cedomir Stefanovic, Petar Popovski:
Code-Expanded Random Access for Machine-Type Communications. - Benjamin Doerr, Daniel Johannsen, Timo Kötzing, Frank Neumann, Madeleine Theile:
More Effective Crossover Operators for the All-Pairs Shortest Path Problem. - Abderrahmane Euldji, Abderrahim Tienti, Amine Boudghene Stambouli:
A new path algorithm for the weighted multi-graphs WMGPA: application to the Direct Topological Method. - Jan Krajícek:
Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator. - Peratham Wiriyathammabhum, Boonserm Kijsirikul, Hiroya Takamura, Manabu Okumura:
Applying Deep Belief Networks to Word Sense Disambiguation. - Peratham Wiriyathammabhum, Boonserm Kijsirikul:
Robust Principal Component Analysis Using Statistical Estimators. - Eugen Staab, Guillaume Muller:
MITRA: A Meta-Model for Information Flow in Trust and Reputation Architectures. - John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon:
An Analysis of the CAVES Attestation Protocol using CPSA. - Ayush Choure, Sundar Vishwanathan:
On graph parameters guaranteeing fast Sandpile diffusion. - Angela Amphawan, Mohd Amirol Md Khair, Hassanuddin Hasan:
Multimedia Traffic Routing in Multilayer WDM Networks. - Igal Sason:
On the Entropy of Sums of Bernoulli Random Variables via the Chen-Stein Method. - Richard C. S. Kinne:
An Overview of the AAVSO's Information Technology Infrastructure From 1967 to 1997. - Sérgio Medeiros, Fabio Mascarenhas, Roberto Ierusalimschy:
Left Recursion in Parsing Expression Grammars. - Zakaria Elberrichi, Amel Belaggoun, Malika Taibi:
Medical Documents Classification Based on the Domain Ontology MeSH. - Sabit Ekin, Mohamed M. Abdallah, Khalid A. Qaraqe, Erchin Serpedin:
Random Subcarrier Allocation in OFDM-Based Cognitive Radio Networks. - Janusz A. Brzozowski, David Liu:
Universal Witnesses for State Complexity of Basic Operations Combined with Reversal. - Omar Fawzi, Ivan Savov:
Rate-splitting in the presence of multiple receivers. - Kamran Karimi:
Challenges of Upgrading a Virtual Appliance. - George B. Mertzios, Shmuel Zaks:
On the Intersection of Tolerance and Cocomparability Graphs. - Doron A. Peled, Sven Schewe:
Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012. EPTCS 84, 2012 [contents] - C. Yang, C. Jiang, M. Wang:
Distributed Dynamic Inter-Cell Interference Management for Femtocell Networks Using Over-the-Air Single-Tone Signaling. - Herbert Wiklicky, Mieke Massink:
Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012. EPTCS 85, 2012 [contents] - Rishabh K. Iyer, Jeff A. Bilmes:
Algorithms for Approximate Minimization of the Difference Between Submodular Functions, with Applications. - Naoki Masuda, Issei Kurahashi, Hiroko Onari:
Suicide ideation of individuals in online social networks. - Sina Y. Caliskan, Paulo Tabuada:
Kron Reduction of Generalized Electrical Networks. - Andrew M. Sutton, Frank Neumann:
A Parameterized Runtime Analysis of Evolutionary Algorithms for the Euclidean Traveling Salesperson Problem. - Geoffrey E. Hinton, Nitish Srivastava, Alex Krizhevsky, Ilya Sutskever, Ruslan Salakhutdinov:
Improving neural networks by preventing co-adaptation of feature detectors. - U. S. Poornima, V. Suma:
Significance of Quality Metrics in Software Development Process. - Tomasz Jurdzinski, Dariusz R. Kowalski:
Distributed backbone structure for deterministic algorithms in the SINR model of wireless networks. - Garimella Rama Murthy:
Optimization of Quadratic Forms: NP Hard Problems : Neural Networks. - Yonathan Murin, Ron Dabora, Deniz Gündüz:
Joint Source-Channel Coding for the Multiple-Access Relay Channel. - Kévin Perrot, Thi Ha Duong Phan, Van Trung Pham:
On the set of Fixed Points of the Parallel Symmetric Sand Pile Model. - Krasimir Yordzhev, Ivelina Peneva:
Computer Administering of the Psychological Investigations: Set-relational Representation. - Nathanaël Fijalkow, Martin Zimmermann:
Parity and Streett Games with Costs. - M. D. Sirajul Huque, C. Surekha, Sana Pavan Kumar Reddy, Vidhisha Yadav:
The Differentiation Between MIMO With Other Antennas. - Romain Giot, Christophe Charrier, Maxime Descoteaux:
Local Water Diffusion Phenomenon Clustering From High Angular Resolution Diffusion Imaging (HARDI). - Liang Feng, Yew-Soon Ong, Ah-Hwee Tan, Ivor Wai-Hung Tsang:
Meme as Building Block for Evolutionary Optimization of Problem Instances. - Leonardo Torres, Tamer Cavalcante, Alejandro César Frery:
Speckle Reduction using Stochastic Distances. - Marc Dymetman, Guillaume Bouchard, Simon Carter:
The OS* Algorithm: a Joint Approach to Exact Optimization and Sampling. - Lemonia Dritsoula, Patrick Loiseau, John Musacchio:
A Game-Theoretical Approach for Finding Optimal Strategies in an Intruder Classification Game. - Jiaqi Liu, Zhong Ren, Deng Li:
MPO: An Efficient and Low-cost Peer-to-Peer Overlay for Autonomic Communications. - Eliana S. de Almeida, Antonio Carlos de Medeiros, Osvaldo Anibal Rosso, Alejandro César Frery:
Generalized Statistical Complexity of SAR Imagery. - Nitish Balachandran:
Surveying Solutions to Securing On-Demand Routing Protocols in MANETs. - Leonardo Torres, Antonio C. Medeiros, Alejandro César Frery:
Polarimetric SAR Image Smoothing with Stochastic Distances. - Benjamin Doerr, Reto Spöhel, Henning Thomas, Carola Winzen:
Playing Mastermind with Many Colors. - B. Thirumala Rao, L. S. S. Reddy:
Survey on Improved Scheduling in Hadoop MapReduce in Cloud Environments. - David Burshtein, Alona Strugatski:
Polar write once memory codes. - Romain Giot, Christophe Rosenberger, Bernadette Dorizzi:
Hybrid Template Update System for Unimodal Biometric Systems. - Romain Giot, Mohamad El-Abed, Christophe Rosenberger:
Web-Based Benchmark for Keystroke Dynamics Biometric Systems: A Statistical Analysis. - Lorenzo Fagiano, Andrew R. Teel:
On generalized terminal state constraints for model predictive control. - H. M. N. Dilum Bandara, Anura P. Jayasumana:
Collaborative Applications over Peer-to-Peer Systems - Challenges and Solutions. - (Withdrawn) Anatomical Structure Segmentation in Liver MRI Images.
- (Withdrawn) Generation of Efficient Key Bit-Streams Using Sparse Matrix-Vector Multiplication.
- Frédéric Blanchard, Michel Herbin:
Relational Data Mining Through Extraction of Representative Exemplars. - Eun Jung Kim, Alexander Langer, Christophe Paul, Felix Reidl, Peter Rossmanith, Ignasi Sau, Somnath Sikdar:
Linear kernels and single-exponential algorithms via protrusion decompositions. - Heidi Gebauer, Frank Mousset:
On Rainbow Cycles and Paths. - A. T. Bahgat, Khaled Nabil Salama:
Memristor-based mono-stable oscillator. - Ritchie Lee, David H. Wolpert, James W. Bono, Scott Backhaus, Russell Bent, Brendan D. Tracey:
Counter-Factual Reinforcement Learning: How to Model Decision-Makers That Anticipate The Future. - Steve Jiekak, Nicolas Le Scouarnec:
CROSS-MBCR: Exact Minimum Bandwith Coordinated Regenerating Codes. - Adrian Kuhn, Gail C. Murphy, C. Albert Thompson:
An Exploratory Study of Forces and Frictions affecting Large-Scale Model-Driven Development. - Rüdiger Ehlers, Daniela Moldovan:
Sparse Positional Strategies for Safety Games. 1-16 - Roopsha Samanta:
Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs. 17-32 - Srinivas Nedunuri, William R. Cook, Douglas R. Smith:
Theory and Techniques for Synthesizing a Family of Graph Algorithms. 33-46 - Elise Cormie-Bowins, Franck van Breugel:
Measuring Progress of Probabilistic LTL Model Checking. 33-47 - Hirotoshi Yasuoka, Tachio Terauchi:
Quantitative Information Flow as Safety and Liveness Hyperproperties. 77-91 - Catuscia Palamidessi, Marco Stronati:
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems. 92-105 - Luca Bortolussi, Vashti Galpin, Jane Hillston:
Hybrid performance modelling of opportunistic networks. 106-121 - Marco Bernardo:
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes. 122-136 - Xiumin Wang, Wentu Song, Chau Yuen, Jing Li:
Exchanging Third-Party Information with Minimum Transmission Cost. - Anyu Wang, Zhifang Zhang:
Exact Cooperative Regenerating Codes with Minimum-Repair-Bandwidth for Distributed Storage. - T.-H. Hubert Chan, Mingfei Li, Li Ning:
Incubators vs Zombies: Fault-Tolerant, Short, Thin and Lanky Spanners for Doubling Metrics. - B. Thirumala Rao, N. V. Sridevi, Vuyyuru Krishna Reddy, L. S. S. Reddy:
Performance Issues of Heterogeneous Hadoop Clusters in Cloud Computing. - Valentina Colla, Nicola Matarese, Gianluca Nastasi:
Prediction of under pickling defects on steel strip surface. - Rong-Hua Li, Jeffrey Xu Yu, Zechao Shang:
Estimating Node Influenceability in Social Networks. - Józef Lubacz, Wojciech Mazurczyk, Krzysztof Szczypiorski:
Principles and Overview of Network Steganography. - 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. - (Withdrawn) Folding graphs.
- Marek Karpinski, Andrzej Lingas, Dzmitry Sledneu:
Optimal Cuts and Bisections on the Real Line in Polynomial Time. - Dimitris Fotakis, Christos Tzamos:
On the Power of Deterministic Mechanisms for Facility Location Games. - Ang Yang, Zesong Fei, Nan (Jonas) Yang, Chengwen Xing, Jingming Kuang:
Symbol Error Rate of Space-Time Network Coding in Nakagami-m Fading. - Andreas Brandstädt, Arne Leitert, Dieter Rautenbach:
Efficient Dominating and Edge Dominating Sets for Graphs and Hypergraphs. - Ghassan Samara:
A New Security Mechanism for Vehicular Communication Networks. - Friedrich Eisenbrand, Nicolai Hähnle:
Minimizing the number of lattice points in a translated polygon. - Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä:
Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version). - Marek Kurdej, Julien Moras, Véronique Cherfaoui, Philippe Bonnifait:
Map-aided Fusion Using Evidential Grids for Mobile Perception in Urban Environment. - Jaume Barceló, Boris Bellalta, Roger Baig, Ramon Roca, Albert Domingo, Luis Sanabria-Russo, Cristina Cano, Miquel Oliver:
Bottom-up Broadband Initiatives in the Commons for Europe Project. - Gordana Dodig-Crnkovic:
Info-Computationalism and Philosophical Aspects of Research in Information Sciences. - Gordana Dodig-Crnkovic:
Alan Turing's Legacy: Info-Computational Philosophy of Nature. - Gordana Dodig-Crnkovic, Mark Burgin:
Axiomatic Tools versus Constructive approach to Unconventional Algorithms. - Youssef Bassil:
TCP Congestion Control Scheme for Wireless Networks based on TCP Reserved Field and SNR Ratio. - Yao Lu, Kaizhu Huang, Cheng-Lin Liu:
A Fast Projected Fixed-Point Algorithm for Large Graph Matching. - Philip Bille, Inge Li Gørtz, Tsvi Kopelowitz, Benjamin Sach, Hjalte Wedel Vildhøj:
Sparse Suffix Tree Construction with Small Space. - Andrea Edelstein, Michael G. Rabbat:
Background Subtraction for Online Calibration of Baseline RSS in RF Sensing Networks. - Mahdi Cheraghchi, Venkatesan Guruswami, Ameya Velingker:
Restricted Isometry of Fourier Matrices and List Decodability of Random Linear Codes. - (Withdrawn) The Longest Queue Drop Policy for Shared-Memory Switches is 1.5-competitive.
- Muhammad Rezal Kamel Ariffin, M. A. Asbullah, Nor Azman Abu:
A New Efficient Asymmetric Cryptosystem Based on the Square Root Problem. - Abhishek Chhajer, Manish K. Gupta, Sandeep Vasani, Jaley Dholakiya:
Modular Arithmetic Expressions and Primality Testing via DNA Self-Assembly. - Guoqiang Mao:
On the Fundamental Relationship Determining the Capacity of Static and Mobile Wireless Networks. - Shanmugasundaram G., V. Prasanna Venkatesan, C. Punitha Devi:
A Comprehensive Model to achieve Service Reusability for Multi level stakeholders using Non-Functional attributes of Service Oriented Architecture. - Hardik Shah, Andreas Raabe, Alois C. Knoll:
Dynamic Priority Queue: An SDRAM Arbiter With Bounded Access Latencies for Tight WCET Calculation. - Meixia Qu, Junfeng Luan, Daming Zhu:
On the toggling-branching recurrence of Computability Logic. - 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. - Mladen Kovacevic, Ivan Stanojevic, Vojin Senk:
On the Hardness of Entropy Minimization and Related Problems. - François Bavaud, Guillaume Guex:
Interpolating between Random Walks and Shortest Paths: a Path Functional Approach. - Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud:
Adjunctions for exceptions. - Anton Belov, João Marques-Silva:
Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality. - Sergio Giro:
Efficient computation of exact solutions for quantitative model checking. 17-32 - Martin Hoefer, Lisa Wagner:
Locally Stable Matching with General Preferences. - Gabriel Nivasch, János Pach, Rom Pinchasi, Shira Zerbib:
The number of distinct distances from a vertex of a convex polygon. - Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer:
Synthesizing Robust Systems with RATSY. 47-53 - Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio:
Automated Verification of Quantum Protocols using MCMAS. 48-62 - 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 - 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). - Ofer Neiman, Shay Solomon:
Deterministic Algorithms for Fully Dynamic Maximal Matching. - Igor Cizelj, Calin Belta:
Probabilistically Safe Control of Noisy Dubins Vehicles. - Michalis Christou, Maxime Crochemore, Costas S. Iliopoulos:
Identifying all abelian periods of a string in quadratic time and relevant problems. - Juan Julián Merelo Guervós, Antonio Miguel Mora, Carlos Cotta, Thomas Philip Runarsson:
An experimental study of exhaustive solutions for the Mastermind puzzle. - Patrick Jaillet, José A. Soto, Rico Zenklusen:
Advances on Matroid Secretary Problems: Free Order Model and Laminar Case. - Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit:
Optimization in a Self-Stabilizing Service Discovery Framework for Large Scale Systems. - Eli Haim, Yuval Kochman, Uri Erez:
Distributed Structure: Joint Expurgation for the Multiple-Access Channel. - Daniel Bryce, Subbarao Kambhampati:
Cost Sensitive Reachability Heuristics for Handling State Uncertainty. - Peter R. de Waal, Linda C. van der Gaag:
Stable Independence in Perfect Maps. - Eric Horvitz, Johnson Apacible, Raman Sarin, Lin Liao:
Prediction, Expectation, and Surprise: Methods, Designs, and Study of a Deployed Traffic Forecasting Service. - Kristian Kersting, Tapani Raiko:
'Say EM' for Selecting Probabilistic Models for Logical Sequences. - Kathryn Blackmond Laskey, Paulo Cesar G. da Costa:
Of Starships and Klingons: Bayesian Logic for the 23rd Century. - Anders L. Madsen:
A Differential Semantics of Lazy AR Propagation. - Yun Peng, Zhongli Ding:
Modifying Bayesian Networks by Probability Constraints. - Silja Renooij, Linda C. van der Gaag:
Exploiting Evidence-dependent Sensitivity Bounds. - Susan M. Shortreed, Marina Meila:
Unsupervised spectral learning. - Daniel Szer, François Charpillet, Shlomo Zilberstein:
MAA*: A Heuristic Search Algorithm for Solving Decentralized POMDPs. - Jonathan Bredin, David C. Parkes:
Models for Truthful Online Double Auctions. - Darius Braziunas, Craig Boutilier:
Local Utility Elicitation in GAI Models. - Itai Ashlagi, Dov Monderer, Moshe Tennenholtz:
On the Value of Correlation. - Leila Amgoud:
A unified setting for inference and decision: An argumentation-based approach. - Eric Altendorf, Angelo C. Restificar, Thomas G. Dietterich:
Learning from Sparse Data by Exploiting Monotonicity Constraints. - Pieter Abbeel, Daphne Koller, Andrew Y. Ng:
Learning Factor Graphs in Polynomial Time & Sample Complexity. - Cassio Polpo de Campos, Fábio Gagliardi Cozman:
Belief Updating and Learning in Semi-Qualitative Probabilistic Networks. - Vincent Conitzer, Tuomas Sandholm:
Common Voting Rules as Maximum Likelihood Estimators. - Barry R. Cobb, Prakash P. Shenoy:
Hybrid Bayesian Networks with Linear Deterministic Variables. - Arthur Choi, Hei Chan, Adnan Darwiche:
On Bayesian Network Approximation by Edge Deletion. - Shuchi Chawla, Cynthia Dwork, Frank McSherry, Kunal Talwar:
On Privacy-Preserving Histograms. - Mark Chavira, David Allen, Adnan Darwiche:
Exploiting Evidence in Probabilistic Inference. - Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-guided Planning. - Jennifer Carlson, Robin R. Murphy:
Use of Dempster-Shafer Conflict Metric to Detect Interpretation Inconsistency. - Peter Carbonetto, Jacek Kisynski, Nando de Freitas, David Poole:
Nonparametric Bayesian Logic. - Zhihong Cai, Manabu Kuroki:
Counterfactual Reasoning in Linear Structural Equation Models. - Jakub Brzostowski, Ryszard Kowalczyk:
Efficient algorithm for estimation of qualitative expected utility in possibilistic case-based reasoning. - Changsung Kang, Jin Tian:
Local Markov Property for Models Satisfying Composition Axiom. - Shen-Shyang Ho, Harry Wechsler:
On the Detection of Concept Changes in Time-Varying Data Stream by Testing Exchangeability. - Markus Harva, Tapani Raiko, Antti Honkela, Harri Valpola, Juha Karhunen:
Bayes Blocks: An Implementation of the Variational Bayesian Building Blocks Framework. - 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. - Yuhong Guo, Dana F. Wilkinson, Dale Schuurmans:
Maximum Margin Bayesian Networks. - Gianluigi Greco, Francesco Scarcello:
Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria. - Vibhav Gogate, Rina Dechter, Bozhena Bidyuk, Craig Rindt, James Marca:
Modeling Transportation Routines using Hybrid Dynamic Mixed Networks. - Vibhav Gogate, Rina Dechter:
Approximate Inference Algorithms for Hybrid Bayesian Networks with Discrete Constraints. - Norman Ferns, Prakash Panangaden, Doina Precup:
Metrics for Markov Decision Processes with Infinite State Spaces. - Ad Feelders, Linda C. van der Gaag:
Learning Bayesian Network Parameters with Prior Knowledge about Context-Specific Qualitative Influences. - Eyal Even-Dar, Sham M. Kakade, Yishay Mansour:
Planning in POMDPs Using Multiplicity Automata. - 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. - Carmel Domshlak, Thorsten Joachims:
Unstructuring User Preferences: Efficient Non-Parametric Utility Revelation. - Yaxin Liu, Sven Koenig:
Existence and Finiteness Conditions for Risk-Sensitive Planning: Results and Conjectures. - Hendrik Kück, Nando de Freitas:
Learning about individuals from group statistics. - Andreas Krause, Carlos Guestrin:
Near-optimal Nonmyopic Value of Information in Graphical Models. - Vladimir Kolmogorov, Martin J. Wainwright:
On the optimality of tree-reweighted max-product message-passing. - Guilin Qi, Weiru Liu, David A. Bell:
A Revision-Based Approach to Resolving Conflicting Information. - Avi Pfeffer, Terry Tai:
Asynchronous Dynamic Bayesian Networks. - Mark Paskin, Sebastian Thrun:
Robotic Mapping with Polygonal Random Fields. - Anna Osepayshvili, Michael P. Wellman, Daniel M. Reeves, Jeffrey K. MacKie-Mason:
Self-Confirming Price Prediction for Bidding in Simultaneous Ascending Auctions. - Uri Nodelman, Daphne Koller, Christian R. Shelton:
Expectation Propagation for Continuous Time Bayesian Networks. - Uri Nodelman, Christian R. Shelton, Daphne Koller:
Expectation Maximization and Complex Duration Distributions for Continuous Time Bayesian Networks. - Alexandru Niculescu-Mizil, Rich Caruana:
Obtaining Calibrated Probabilities from Boosting. - Mukund Narasimhan, Jeff A. Bilmes:
A submodular-supermodular procedure with applications to discriminative structure learning. - Joris M. Mooij, Hilbert J. Kappen:
Sufficient conditions for convergence of Loopy Belief Propagation. - Andrew McCallum, Kedar Bellare, Fernando C. N. Pereira:
A Conditional Random Field for Discriminatively-trained Finite-state String Edit Distance. - Robert Mateescu, Rina Dechter:
The Relationship Between AND/OR Search and Variable Elimination. - Sridhar Mahadevan:
Representation Policy Iteration. - Charles Sutton, Andrew McCallum:
Piecewise Training for Undirected Models. - Umberto Straccia:
Description Logics with Fuzzy Concrete Domains. - Finnegan Southey, Michael Bowling, Bryce Larson, Carmelo Piccione, Neil Burch, Darse Billings, D. Chris Rayner:
Bayes' Bluff: Opponent Modelling in Poker. - Trey Smith, Reid G. Simmons:
Point-Based POMDP Algorithms: Improved Analysis and Implementation. - Shohei Shimizu, Aapo Hyvärinen, Yutaka Kano, Patrik O. Hoyer:
Discovery of non-gaussian linear causal models using ICA. - Eerika Savia, Kai Puolamäki, Janne Sinkkonen, Samuel Kaski:
Two-Way Latent Grouping Model for User Preference Prediction. - Scott Sanner, Craig Boutilier:
Approximate Linear Programming for First-order MDPs. - Matthew R. Rudary, Satinder Singh, David Wingate:
Predictive Linear-Gaussian Models of Stochastic Dynamical Systems. - Michal Rosen-Zvi, Michael I. Jordan, Alan L. Yuille:
The DLR Hierarchy of Approximate Inference. - Alice X. Zheng, Irina Rish, Alina Beygelzimer:
Efficient Test Selection in Active Diagnosis via Entropy Approximation. - Jiji Zhang, Peter Spirtes:
A Transformational Characterization of Markov Equivalence for Directed Acyclic Graphs with Latent Variables. - Luke S. Zettlemoyer, Michael Collins:
Learning to Map Sentences to Logical Form: Structured Classification with Probabilistic Categorial Grammars. - Huizhen Yu:
A Function Approximation Approach to Estimation of Policy Gradient for POMDP with Structured Policies. - Changhe Yuan, Marek J. Druzdzel:
Importance Sampling in Bayesian Networks: An Influence-Based Approximation Strategy for Importance Functions. - Eric P. Xing, Rong Yan, Alexander G. Hauptmann:
Mining Associated Text and Images with Dual-Wing Harmoniums. - John R. Wicks, Amy Greenwald:
An Algorithm for Computing Stochastically Stable Distributions with Applications to Multiagent Learning in Repeated Games. - Paul Weng:
Qualitative Decision Making Under Possibilistic Uncertainty: Toward more discriminating criteria. - Max Welling, Thomas P. Minka, Yee Whye Teh:
Structured Region Graphs: Morphing EP into GBP. - Segev Wasserkrug, Avigdor Gal, Opher Etzion:
A Model for Reasoning with Uncertain Rules in Event Composition Systems. - Marc Teyssier, Daphne Koller:
Ordering-Based Search: A Simple and Effective Algorithm for Learning Bayesian Networks. - Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières:
Flexible Dynamic Information Flow Control in the Presence of Exceptions. - Jun Wang, Jianshu Chen, Danijela Cabric:
Cramer-Rao Bounds for Joint RSS/DoA-Based Primary-User Localization in Cognitive Radio Networks. - Ivan Ruchkin, Vladimir Prus:
Single-window Integrated Development Environment. - Gol Kim, Fei Ye:
Super-Mixed Multiple Attribute Group Decision Making Method Based on Hybrid Fuzzy Grey Relation Approach Degree. - Xiaoli Xu, Yong Zeng, Yong Liang Guan, Tracey Ho:
Detailed Steps of the Fourier-Motzkin Elimination. - 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. - Tingting Liu, Chenyang Yang:
On the Feasibility of Interference Alignment for MIMO Interference Broadcast Channels. - Kamen Lozev:
Algorithms for High-Performance Networking in the Presence of Obstacles. - Jonathan Masci, Michael M. Bronstein, Alexander M. Bronstein, Jürgen Schmidhuber:
Multimodal similarity-preserving hashing. - Vasanthan Raghavan, Venugopal V. Veeravalli:
Ensemble Properties of RVQ-Based Limited-Feedback Beamforming Codebooks. - Gol Kim, Yunchol Jong, Sifeng Liu:
Generalized Hybrid Grey Relation Method for Multiple Attribute Mixed Type Decision Making. - Rudresh Shirwaikar, Nikhil Rajadhyax:
Data Mining on Educational Domain. - Neha Patwari, Parvati Bhurani:
Framework of SQL Injection Attack. - Gol Kim, Ri Suk Yun:
Hybrid Forecasting of Exchange Rate by Using Chaos Wavelet SVM-Markov Model and Grey Relation Degree. - Yuanxin Wu, Xianfei Pan:
Velocity/Position Integration Formula (I): Application to In-flight Coarse Alignment. - Shervan Fekri Ershad, Mohammad Saberi, Farshad Tajeripour:
An Innovative Skin Detection Approach Using Color Based Image Retrieval Technique. - Yuanxin Wu, Xianfei Pan:
Velocity/Position Integration Formula (II): Application to Inertial Navigation Computation. - Frederic Knabe, Omar Mohamed, Carolin Huppert:
Achievable Sum-Rates in Gaussian Multiple-Access Channels with MIMO-AF-Relay and Direct Links. - Tadeusz Tomczak, Katarzyna Zadarnowska, Zbigniew Koza, Maciej Matyka, Lukasz Miroslaw:
Complete PISO and SIMPLE solvers on Graphics Processing Units. - P. Radha Krishna Reddy, Ashim Roy, G. Sireesha, Ismatha Begum, S. Siva Ramaiah:
A Secure Dynamic Job Scheduling on Smart Grid using RSA Algorithm. - Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov:
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? - Núbia Rosa da Silva, Odemir Martinez Bruno:
Analysis of Multi-Scale Fractal Dimension to Classify Human Motion. - Michael Elkin, Shay Solomon:
Fast Constructions of Light-Weight Spanners for General Graphs. - Nungleppam Monoranjan Singh, Kanak Chandra Sarma, Nungleppam Gopil Singh:
Design and Development of Low Cost Multi-Channel USB Data. - Michael Marcondes de Freitas, Eduardo D. Sontag:
Remarks on random dynamical systems with inputs and outputs and a small-gain theorem for monotone RDS. - Zahoor Ali Khan, Nadeem Javaid, M. H. Arshad, Ayesha Bibi, B. Qasim:
Performance Evaluation of Widely used Portknoking Algorithms. - Preetida Vinayakray-Jani, Sugata Sanyal:
Security Architecture for Cluster based Ad Hoc Networks. - Obaid Ur Rehman, Nadeem Javaid, Ayesha Bibi, Zahoor Ali Khan:
Performance Study of Localization Techniques in Wireless Body Area Sensor Networks. - Mauro Bianco, Ugo Varetto:
A Generic Library for Stencil Computations. - Jin Tan, Danielle Carmon, Dror Baron:
Signal Estimation with Arbitrary Error Metrics in Compressed Sensing. - Jonathan Masci, Ueli Meier, Gabriel Fricout, Jürgen Schmidhuber:
Object Recognition with Multi-Scale Pyramidal Pooling Networks. - Subhash Sagar, Nadeem Javaid, Zahoor Ali Khan, J. Saqib, Ayesha Bibi, Safdar Hussain Bouk:
Analysis and Modeling Experiment Performance Parameters of Routing Protocols in MANETs and VANETs. - Raffaele Solcà, Thomas C. Schulthess, Azzam Haidar, Stanimire Tomov, Ichitaro Yamazaki, Jack J. Dongarra:
A hybrid Hermitian general eigenvalue solver. - Sanjay Kumar, Nadeem Javaid, Zahid Yousuf, Haresh Kumar, Zahoor Ali Khan, Ayesha Bibi:
DSDV, DYMO, OLSR: Link Duration and Path Stability. - Leah Epstein, Asaf Levin, Danny Segev, Oren Weimann:
Improved Bounds for Online Preemptive Matching. - Daniel Karapetyan:
Design, Evaluation and Analysis of Combinatorial Optimization Heuristic Algorithms. - Ferkan Yilmaz, Mohamed-Slim Alouini:
A Novel Ergodic Capacity Analysis. - George Katsirelos, Nina Narodytska, Toby Walsh:
The SeqBin Constraint Revisited. - Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn:
Introspective Pushdown Analysis of Higher-Order Programs. - Rúben Gouveia, Evangelos Niforatos, Evangelos Karapanos:
Footprint Tracker: reviewing lifelogs and reconstructing daily experiences. - José Rodrigues, Rúben Gouveia, Olga Lyra, Evangelos Karapanos:
Sense me: Supporting awareness in parent-child relationships through mobile sensing. - Evangelos Karapanos:
Beyond Experience Sampling: Evaluating Personal Informatics with Technology-Assisted Reconstruction. - Michael Elkin, Shay Solomon:
Optimal Euclidean spanners: really short, thin and lanky. - Abdallah Saffidine:
Minimal Proof Search for Modal Logic K Model Checking. - Magnús M. Halldórsson, Pradipta Mitra:
Towards Tight Bounds for Local Broadcasting. - César Andrés, Luis Llana:
Proceedings 2nd Workshop on Formal Methods in the Development of Software, WS-FMDS 2012, Paris, France, August 28, 2012. EPTCS 86, 2012 [contents] - Sung-Tai Choi, Seokbeom Hong, Jong-Seon No, Habong Chung:
Differential Spectrum of Some Power Functions With Low Differential Uniformity. - Ted Dunning:
Finding Structure in Text, Genome and Other Symbolic Sequences. - Christoph Lenzen:
Optimal Deterministic Routing and Sorting on the Congested Clique. - Jun Zhang, Yuanqing Li, Zhu Liang Yu, Zhenghui Gu:
Recoverability Analysis for Modified Compressive Sensing with Partially Known Support. - Siu-Wai Ho, Terence H. Chan, Alex J. Grant, Chinthani Uduwerelle:
Error Free Perfect Secrecy Systems. - Vladimir V. Bochkarev, Eduard Yu. Lerner:
Zipf and non-Zipf Laws for Homogeneous Markov Chain. - S. K. Gupta, Akash Khandelwal:
Reconstruction Conjecture for Graphs Isomorphic to Cube of a Tree. - Donggyu Yun, Jungseul Ok, Bongjhin Shin, Soobum Park, Yung Yi:
Embedding of Virtual Network Requests over Static Wireless Multihop Networks. - Raphaël Clifford, Markus Jalsenius, Benjamin Sach:
Tight Cell-Probe Bounds for Online Hamming Distance Computation. - John-John Cabibihan, Wing Chee So, Sujin Saj, Zhengchen Zhang:
Telerobotic Pointing Gestures Shape Human Spatial Cognition. - Eliana S. de Almeida, Antonio C. Medeiros, Alejandro César Frery:
How good are MatLab, Octave and Scilab for Computational Modelling? - Grenville J. Croll:
Spreadsheets and Long Term Corporate Survival. - Firouz Abdullah Al-Wassai, N. V. Kalyankar, Ali A. Al-Zaky:
Spatial And Spectral Quality Evaluation Based On Edges Regions Of Satellite Image Fusion. - Gol Kim, Ri Suk Yun:
A Hybrid Forecast of Exchange Rate based on ARFIMA,Discrete Grey-Markov, and Fractal Kalman Model. - Jun Kurihara, Tomohiko Uyematsu, Ryutaroh Matsumoto:
New Parameters of Linear Codes Expressing Security Performance of Universal Secure Network Coding. - Janusz A. Brzozowski, David Liu:
Universal Witnesses for State Complexity of Boolean Operations and Concatenation Combined with Star. - Xiaoli Xu, Yong Zeng, Yong Liang Guan, Tracey Ho:
On the Capacity Region of Two-User Linear Deterministic Interference Channel and Its Application to Multi-Session Network Coding. - Stefano Riverso, Giancarlo Ferrari-Trecate:
Hycon2 Benchmark: Power Network System. - Joachim Breitner:
dup -- Explicit un-sharing in Haskell. - Zohra Slimane, Mohammed Feham, Abdelhafid Abdelmalek:
Seamless Infrastructure independent Multi Homed NEMO Handoff Using Effective and Timely IEEE 802.21 MIH triggers. - Robert W. Heath Jr., Marios Kountouris:
Modeling Heterogeneous Network Interference with Using Poisson Point Processes. - N. Monoranjan Singh, K. C. Sarma:
Design of PIC12F675 Microcontroller Based Data Acquisition System for Slowly Varying Signals. - Jean Barbier, Florent Krzakala, Marc Mézard, Lenka Zdeborová:
Compressed Sensing of Approximately-Sparse Signals: Phase Transitions and Optimal Reconstruction. - Malte Harder, Christoph Salge, Daniel Polani:
A Bivariate Measure of Redundant Information. - (Withdrawn) Equidistant Linear Network Codes with maximal Error-protection from Veronese Varieties.
- Lalitha Sankar, H. Vincent Poor:
Distributed Estimation in Multi-Agent Networks. - Mojtaba Vaezi:
The Capacity of More Capable Cognitive Interference Channels. - Xinping Yi, David Gesbert:
Precoding Methods for MISO Broadcast Channel with Delayed CSIT. - Rajdeep Borgohain, Sugata Sanyal:
Rule Based Expert System for Diagnosis of Neuromuscular Disorders. - Won-Yong Shin, Dohyung Park, Bang Chul Jung:
Can One Achieve Multiuser Diversity in Uplink Multi-Cell Networks? - Diego Fabregat-Traver, Yurii S. Aulchenko, Paolo Bientinesi:
High-throughput Genome-wide Association Analysis for Single and Multiple Phenotypes. - Satoshi Tazawa:
Integer factorization and Discrete Logarithm problem are neither in P nor NP-complete. - Daniel Lemire, Owen Kaser, Eduardo Gutarra:
Reordering Rows for Better Compression: Beyond the Lexicographic Order. - Namyoon Lee, Robert W. Heath Jr.:
Not Too Delayed CSIT Achieves the Optimal Degrees of Freedom. - Matthew C. Valenti, Xingyu Xiang:
Constellation Shaping for Bit-Interleaved LDPC Coded APSK. - Anindya De, Ilias Diakonikolas, Rocco A. Servedio:
A robust Khintchine inequality, and algorithms for computing optimal constants in Fourier analysis and high-dimensional geometry. - 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. - Simona Nica, Franz Wotawa:
Using Constraints for Equivalent Mutant Detection. 1-8 - Debajyoti Mukhopadhyay, Sheetal Vij, Suyog Tasare:
NAAS: Negotiation Automation Architecture with Buyer's Behavior Pattern Prediction Component. - Maria Spichkova, Florian Hölzl, David Trachtenherz:
Verified System Development with the AutoFocus Tool Chain. 17-24 - Andreas Bollin, Abdollah Tabareh:
Predictive Software Measures based on Z Specifications - A Case Study. 33-40 - Naveed A. Khan, Nadeem Javaid, Zahoor Ali Khan, M. Jaffar, U. Rafiq, Ayesha Bibi:
Ubiquitous HealthCare in Wireless Body Area Networks. - Alexei Yu. Uteshev, Marina V. Yashina:
Metric Problems for Quadrics in Multidimensional Space. - Gol Kim, Ri Suk Yun:
A Hybrid Forecast of Exchange Rate based on Discrete Grey-Markov and Grey Neural Network Model. - Daoud Clarke:
Challenges for Distributional Compositional Semantics. - Imen Chaabouni, Wiem Fourati, Med Salim Bouhlel:
Improvement of ISOM by using filter. - Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller, Felix Tscheulin:
Understanding the Learners' Actions when using Mathematics Learning Tools. - Muhammad Taimoor Khan, Wolfgang Schreiner:
On Formal Specification of Maple Programs. - Muhammad Taimoor Khan, Wolfgang Schreiner:
Towards the Formal Specification and Verification of Maple Programs. - Sergio Cabello:
Stackelberg Shortest Path Tree Game, Revisited. - Pan Zhang, Florent Krzakala, Jörg Reichardt, Lenka Zdeborová:
Comparative Study for Inference of Hidden Classes in Stochastic Block Models. - Reginald D. Smith:
Distinct word length frequencies: distributions and symbol entropies. - Mayank Bakshi, Sidharth Jaggi, Sheng Cai, Minghua Chen:
SHO-FA: Robust compressive sensing with order-optimal complexity, measurements, and bits. - Jörg Endrullis, Dimitri Hendriks:
On Periodically Iterated Morphisms. - Aiyou Chen, Arash A. Amini, Peter J. Bickel, Elizaveta Levina:
Fitting community models to large sparse networks. - Casper Kejlberg-Rasmussen, Konstantinos Tsakalidis, Kostas Tsichlas:
I/O-Efficient Dynamic Planar Range Skyline Queries. - Armen Bagdasaryan:
Some Euler-type formulas for planar graphs. - Rocío González-Díaz, Javier Lamar, Ronald Umble:
On the Z/2-Cohomology of 3D Polyhedral Approximations. - Jin-Yi Cai, Pinyan Lu, Mingji Xia:
Dichotomy for Holant* Problems with a Function on Domain Size 3. - Mohamed Achraf Ben Mohamed, Dhaou El Ghoul, Mohamed Amine Nahdi, Mourad Mars, Mounir Zrigui:
Arabic CALL system based on pedagogically indexed text. - Greg Aloupis, Luis Barba, Stefan Langerman, Diane L. Souvaine:
Bichromatic compatible matchings. - Antony Joseph, Andrew R. Barron:
Fast Sparse Superposition Codes have Exponentially Small Error Probability for R < C. - Alphan Ulusoy, Stephen L. Smith, Calin Belta:
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization. - Issam Qaffou, Mohammed Sadgal, Aziz Elfazziki:
A Multi-Agents Architecture to Learn Vision Operators and their Parameters. - Fradj Ben Lamine, Karim Kalti, Mohamed Ali Mahjoub:
Etude de Modèles à base de réseaux Bayésiens pour l'aide au diagnostic de tumeurs cérébrales. - Andreas Klaus Bauer, Peter Baumgartner, Michael Norrish:
Reasoning with Data-Centric Business Processes. - Jasen Markovski:
Scalable Minimization Algorithm for Partial Bisimulation. 9-16 - Petr Jancar:
Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof). - (Withdrawn) Kernelized Supervised Dictionary Learning.
- Byron Boots, Geoffrey J. Gordon:
A Spectral Learning Approach to Range-Only SLAM. - Ryo Nomura, Te Sun Han:
Second-Order Slepian-Wolf Source Coding for Mixed Sources. - Feodor F. Dragan, Muad Abu-Ata:
Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences. - Pedro Quaresma:
An XML-Format for Conjectures in Geometry (Work-in-Progress). - Vinay Joseph, Gustavo de Veciana, Ari Arapostathis:
Resource Allocation: Realizing Mean-Variability-Fairness Tradeoffs. - Gugan Thoppe:
Generalized Network Tomography. - Ping Hou:
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. - Ping Hou, Johan Wittocx, Marc Denecker:
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions. - Sambhunath Biswas, Amrita Biswas:
Face Recognition Algorithms based on Transformed Shape Features. - (Withdrawn) A New Weighted Spearman's Footrule as A Measure of Distance between Rankings.
- Sandeep Bindal, Sorav Bansal, Akash Lal:
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs. - Tareq Y. Al-Naffouri, Ala A. Dahman, Muhammad S. Sohail, Weiyu Xu, Babak Hassibi:
Low Complexity Blind Equalization for OFDM Systems with General Constellations. - Mariusz Grech, Andrzej Kisielewicz:
The Cerny conjecture for automata respecting intervals of a directed graph. - Mohamed-Haykel Zayani, Vincent Gauthier, Djamal Zeghlache:
Quantifying Spatiotemporal Stability by means of Entropy: Approach and Motivations. - Sarim Hayat, Nadeem Javaid, Zahoor Ali Khan, Abida Shareef, Anzar Mahmood, Safdar Hussain Bouk:
Energy Efficient MAC Protocols. - Cunsheng Ding:
Cyclic Codes from Cyclotomic Sequences of Order Four. - Basit Manzoor, Nadeem Javaid, Ayesha Bibi, Zahoor Ali Khan, Muhammad Tahir:
Noise Filtering, Channel Modeling and Energy Utilization in Wireless Body Area Networks. - Niranjan Kumar Ray, Harsh Bardhan Sharma, Ashok Kumar Turuk:
Network Lifetime Analysis of AODV, DSR and ZRP at Different Network Parameters. - Gol Kim:
Novel Grey Interval Weight Determining and Hybrid Grey Interval Relation Method in Multiple Attribute Decision-Making. - Haruna Isah:
Full Data Controlled Web-Based Feed Aggregator. - Saket Warade, Jagannath Aghav, Claude Petitpierre, Sandeep Udayagiri:
Automated Training and Maintenance through Kinect. - Guy Even, Shakhar Smorodinsky:
Hitting Sets Online and Unique-Max Coloring. - Sokyna Qatawneh, Afaf Alneaimi, Thamer Rawashdeh, Mohammad Muhairat, Rami Qahwaji, Stanley S. Ipson:
Efficient Prediction of DNA-Binding Proteins Using Machine Learning. - (Withdrawn) A Novel Approach Coloured Object Tracker with Adaptive Model and Bandwidth using Mean Shift Algorithm.
- Yun Wang, Peizhong Shi, Kai Li, Jie Wu:
DQSB: A Reliable Broadcast Protocol Based on Distributed Quasi-Synchronized Mechanism for Low Duty-Cycled Wireless Sensor Networks. - Hasni Neji, Ridha Bouallegue:
Ontology for Mobile Phone Operating Systems. - Prasun Chowdhury, Anindita Kundu, Iti Saha Misra, Salil Kumar Sanyal:
Load Balancing with Reduced Unnecessary Handoff in Energy Efficient Macro/Femto-cell based BWA Networks. - Yaming Luo, Jun Zhang, Khaled Ben Letaief:
Training Optimization for Energy Harvesting Communication Systems. - Muhammad Aslam, Nadeem Javaid, Azizur Rahim, U. Nazir, Ayesha Bibi, Zahoor Ali Khan:
Survey of Extended LEACH-Based Clustering Routing Protocols for Wireless Sensor Networks. - Hannah Bast, Florian Bäurle, Björn Buchhold, Elmar Haussmann:
Broccoli: Semantic Full-Text Search at your Fingertips. - Nitish Balachandran, Sugata Sanyal:
A Review of Techniques to Mitigate Sybil Attacks. - Mutaz M. Al-Debei, Mohammad Mourhaf al Asswad, Sergio de Cesare, Mark Lycett:
Conceptual Modelling and The Quality of Ontologies: Endurantism Vs. Perdurantism. - Sujatha Srinivasan, Sivakumar Ramakrishnan:
Nugget Discovery with a Multi-objective Cultural Algorithm. - Rahul Shah, Cheng Sheng, Sharma V. Thankachan, Jeffrey Scott Vitter:
On Optimal Top-K String Retrieval. - Amol Bandal, Shankar Nawale:
RFID Security Using Lightweight Mutual Authentication And Ownership Transfer Protocol. - Teun Baar, Wiger van Houten, Zeno J. M. H. Geradts:
Camera identification by grouping images from database, based on shared noise patterns. - Tirtha Shankar Das, Ayan K. Sau, Vijay Harishchandra Mankar, Subir Kumar Sarkar:
Multimedia Steganographic Scheme using Multiresolution Analysis. - Kiryung Lee, Yoram Bresler, Marius Junge:
Oblique Pursuits for Compressed Sensing. - Amir Houmansadr, Thomas J. Riedl, Nikita Borisov, Andrew C. Singer:
IP over Voice-over-IP for censorship circumvention. - Tirtha Shankar Das, Vijay Harishchandra Mankar, Subir Kumar Sarkar:
Performance Evaluation of Spread Spectrum Watermarking using Error Control Coding. - Vijay Harishchandra Mankar, Tirtha Shankar Das, Subir Kumar Sarkar:
Discrete Chaotic Sequence based on Logistic Map in Digital Communications. - Brahim Lejdel, Okba Kazar:
Genetic agent approach for improving on-the-fly web map generalization. - Vijay Harishchandra Mankar, Tirtha Shankar Das, Subhojit Saha, Subir Kumar Sarkar:
Robust Image Watermarking Under Pixel Wise Masking Framework. - Tirtha Shankar Das, Vijay Harishchandra Mankar, Subir Kumar Sarkar:
Spread Spectrum based Robust Image Watermark Authentication. - Gaurav Raj, Ankit Nischal:
Efficient Resource Allocation in Resource provisioning policies over Resource Cloud Communication Paradigm. - Gaurav Raj, Kamaljit Kaur:
Secure Cloud Communication for Effective Cost Management System through MSBE. - Gaurav Raj, Sonika Setia:
Effective Cost Mechanism for Cloudlet Retransmission and Prioritized VM Scheduling Mechanism over Broker Virtual Machine Communication Framework. - Don J. Torrieri, Matthew C. Valenti:
The Outage Probability of a Finite Ad Hoc Network in Nakagami Fading. - Mohamed Achraf Ben Mohamed, Mounir Zrigui, Mohsen Maraoui:
Clustering based approach extracting collocations. - Roopa Singh, Imran Akhtar Khan:
An Approach For Integration Testing In Online Retail Applications. - Alexander Kurz, Jirí Rosický:
Strongly Complete Logics for Coalgebras. - Francisco Javier Lobillo, Gabriel Navarro, José Gómez-Torrecillas:
Information-bit error rate and false positives in an MDS code. - Raúl Pardo, Fernando L. Pelayo:
ROSA Analyser: An automatized approach to analyse processes of ROSA. 25-32 - Zbigniew Mrozek:
Quality assurance of e-learning processes. - N. Monoranjan Singh, K. C. Sarma:
Low Cost PC Based Real Time Data Logging System Using PCs Parallel Port For Slowly Varying Signals. - Shilpan Dineshkumar Vyas:
E-banking and E-commerce in India and USA. - Boutaina Chakir, Mounia Fredj, Mahmoud Nassar:
A model driven method for promoting reuse in SOA-solutions by managing variability. - Alcino Cunha:
Bounded Model Checking of Temporal Formulas with Alloy. - Manuel Mazzara:
On Methods for the Formal Specification of Fault Tolerant Systems. - Daiqin Yang, Fang Zhao, Kai Liu, Hock Beng Lim, Emilio Frazzoli, Daniela Rus:
A GPS Pseudorange Based Cooperative Vehicular Distance Measurement Technique. - Emil Björnson, Marios Kountouris, Mats Bengtsson, Björn E. Ottersten:
Receive Combining vs. Multi-Stream Multiplexing in Downlink Systems with Multi-Antenna Users. - Behzad Ahmadi, Chiranjib Choudhuri, Osvaldo Simeone, Urbashi Mitra:
Cascade Source Coding with a Side Information "Vending Machine". - Hadi Goudarzi, Mohammad Reza Pakravan:
Practical Power Allocation and Greedy Partner Selection for Cooperative Networks. - Antoine Amarilli, Marc Jeanmougin:
A Proof of the Pumping Lemma for Context-Free Languages Through Pushdown Automata. - Don J. Torrieri, Matthew C. Valenti:
Guard Zones and the Near-Far Problem in DS-CDMA Ad Hoc Networks. - Meng Wang, Weiyu Xu, Enrique Mallada, Ao Tang:
Sparse Recovery with Graph Constraints. - Abdurashid Mamadolimov:
Search Algorithms for Conceptual Graph Databases. - Rajkumar Sarma, Veerati Raju:
Design and Performance Analysis of hybrid adders for high speed arithmetic circuit. - Kai Liu, Hock Beng Lim:
Positioning Accuracy Improvement via Distributed Location Estimate in Cooperative Vehicular Networks. - Maria Chiara Angelini, Federico Ricci-Tersenghi, Yoshiyuki Kabashima:
Compressed sensing with sparse, structured matrices. - Shafqat Ali Shad, Enhong Chen, Faisal Malik Faisal Azeem:
Enterprise Resource Planning - Real blessing or a Blessing in Disguise : An Exploration of the Contextual Factors in Public Sector. - Adnan Alam Khan, Safeeullah Soomro, Irfan Hyder:
Fast Subsequent Color Iris Matching in large Database. - Shafqat Ali Shad, Enhong Chen, Faisal Malik Faisal Azeem:
Performance Enhancement Factors of ERP Projects in a Telecom Public Sector Organization of Pakistan : An Exploratory Study. - Pierre-Ugo Tournoux, Tuan Tran Thai, Emmanuel Lochin, Jérôme Lacan, Vincent Roca:
Erasure Coding and Congestion Control for Interactive Real-Time Communication. - Ajay Kumar, Seema Bawa:
Distributed and Big Data Storage Management in Grid Computing. - Mohsen Soryani, Morteza Analoui, Ghobad Zarrinchian:
A Novel Process Mapping Strategy in Clustered Environments. - Andrea Asperti, Wilmer Ricciotti:
A Web Interface for Matita. - P. Rajesh, G. Narasimha, N. Saisumanth:
Privacy Preserving MFI Based Similarity Measure For Hierarchical Document Clustering. - Mehdi Vasef:
Effective Capacity of a Rayleigh Fading Channel in the Presence of Interference. - Vincenzo Auletta, Diodato Ferraioli, Francesco Pasquale, Paolo Penna, Giuseppe Persiano:
Reversibility and Mixing Time for Logit Dynamics with Concurrent Updates. - Surbhi, Vishal Arora:
ROI Segmentation for Feature Extraction from Human Facial Images. - Isha Gupta:
BIGP- a new single protocol that can work as an igp (interior gateway protocol) as well as egp (exterior gateway protocol). - Aaditya Ramdas, Aarti Singh:
Optimal Stochastic Convex Optimization Through The Lens Of Active Learning. - Reza Khosravi-Farsani, Farokh Marvasti:
Fundamental Limits of Communications in Interference Networks-Part I: Basic Structures. - Fei Shen, Wenyuan Wu, Bican Xia:
Real Root Isolation of Polynomial Equations Based on Hybrid Computation. - José Bento, Stratis Ioannidis, S. Muthukrishnan, Jinyun Yan:
A Time and Space Efficient Algorithm for Contextual Linear Bandits. - Reza Khosravi-Farsani, Farokh Marvasti:
Fundamental Limits of Communications in Interference Networks-Part II: Information Flow in Degraded Networks. - Konstantinos I. Tsianos, Michael G. Rabbat:
Distributed Strongly Convex Optimization. - Reza Khosravi-Farsani, Farokh Marvasti:
Fundamental Limits of Communications in Interference Networks-Part III: Information Flow in Strong Interference Regime. - M. SureshKumar, P. Varalakshmi:
Dynamic Web Service Composition based on Network Modeling with Statistical Analysis and Backtracking. - Nandan Mirajkar, Mohan Barde, Harshal Kamble, Rahul Athale, Kumud Singh:
Implementation of Private Cloud using Eucalyptus and an open source Operating System. - Reza Khosravi-Farsani, Farokh Marvasti:
Fundamental Limits of Communications in Interference Networks-Part IV: Networks with a Sequence of Less-Noisy Receivers. - Reza Khosravi-Farsani, Farokh Marvasti:
The K-User Interference Channel: Strong Interference Regime. - Reza Khosravi-Farsani, Farokh Marvasti:
How Much Rate Splitting Is Required for a Random Coding Scheme? A new Achievable Rate Region for the Broadcast Channel with Cognitive Relays. - Kunal N. Chaudhury, Amit Singer:
Non-Local Euclidean Medians. - (Withdrawn) Supervised Texture Classification Using a Novel Compression-Based Similarity Measure.
- Bubacarr Bah, Jared Tanner:
Vanishingly Sparse Matrices and Expander Graphs, with application to compressed sensing. - Kishore Kothapalli, Sriram V. Pemmaraju:
Super-Fast 3-Ruling Sets. - Jeremy P. Vila, Philip Schniter:
Expectation-Maximization Gaussian-Mixture Approximate Message Passing. - Joohwan Kim, R. Srikant:
Real-Time Peer-to-Peer Streaming Over Multiple Random Hamiltonian Cycles. - Quan Wang, Yan Ou, A. Agung Julius, Kim L. Boyer, Min Jun Kim:
Tracking Tetrahymena Pyriformis Cells using Decision Trees. - Kenza Guenda, T. Aaron Gulliver:
On the Automorphism Groups and Equivalence of Cyclic Combinatorial Objects. - Kenza Guenda, T. Aaron Gulliver:
New Symmetric and Asymmetric Quantum Codes. - Ali Al-Matouq, Tyrone Vincent, Luis Tenorio:
Derivation of the Maximum a Posterori Estimate for Discrete Time Descriptor Systems. - Yashpal Singh, Kamal Deep, S. Niranjan:
Multiple Criteria Clustering of Mobile Agents in WSN. - (Withdrawn) Color Constancy based on Image Similarity via Bilayer Sparse Coding.
- Arun Padakandla, Sandeep S. Pradhan:
A new coding theorem for three user discrete memoryless broadcast channel. - Christina Büsing, Kai-Simon Goetzmann, Jannik Matuschke, Sebastian Stiller:
The Power of Compromise. - Michael Kerber:
Embedding the dual complex of hyper-rectangular partitions. - Brian Huffman:
Formal Verification of Monad Transformers. - Imran Akhtar Khan, Roopa Singh:
Quality Assurance And Integration Testing Aspects In Web Based Applications. - Pierre Clairambault:
Isomorphisms of types in the presence of higher-order references (extended version). - Günce Keziban Orman, Vincent Labatut, Hocine Cherifi:
An Empirical Study of the Relation Between Community Structure and Transitivity. - Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala:
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation. - Ge Xu, Biao Chen:
The Sufficiency Principle for Decentralized Data Reduction. - Siddhartha Banerjee, Nidhi Hegde, Laurent Massoulié:
The Price of Privacy in Untrusted Recommendation Engines. - Anastasios Skarlatidis, Georgios Paliouras, Alexander Artikis, George A. Vouros:
Probabilistic Event Calculus for Event Recognition. - Hajar Omrana, Safae Nassiri, Fatima-Zahra Belouadha, Ounsa Roudiès:
Design for Distributed Moroccan Hospital Pharmacy Information Environment with Service Oriented Architecture. - Sarvesh Nikumbh, Shameek Ghosh, Valadi K. Jayaraman:
Biogeography-Based Informative Gene Selection and Cancer Classification Using SVM and Random Forests. - Yu Zhao, Fangfang Zhu, Biao Chen:
The Han-Kobayashi Region for a Class of Gaussian Interference Channels with Mixed Interference. - Sunil Jadav, Vikrant, Munish Vashishath:
Design and Performance Analysis Of Ultra Low Power 6T SRAM Using Adiabatic Technique. - Jónathan Heras, María Poza, Julio Rubio:
Verifying an algorithm computing Discrete Vector Fields for digital imaging. - Mirsad Cirkic, Erik G. Larsson:
SUMIS: A Near-Optimal Soft-Ouput MIMO Detector at Low and Fixed Complexity. - Fangfang Zhu, Biao Chen:
On the Sum Capacity of the Discrete Memoryless Interference Channel with One-Sided Weak Interference and Mixed Interference. - Laurent George, Maud Marchal, Loeïz Glondu, Anatole Lécuyer:
Combining Brain-Computer Interfaces and Haptics: Detecting Mental Workload to Adapt Haptic Assistance. - Hasni Neji, Ridha Bouallegue:
Roadmap for Establishing Interoperability of Heterogeneous Cellular Network Technologies -1-. - Jonathan Tapson, André van Schaik:
Learning the Pseudoinverse Solution to Network Weights. - Talita Perciano, Matthew W. Urban, Nelson D. A. Mascarenhas, Mostafa Fatemi, Alejandro César Frery, Glauber T. Silva:
Deconvolution of vibroacoustic images using a simulation model based on a three dimensional point spread function. - Kenza Guenda, T. Aaron Gulliver:
MDS and Self-dual Codes over Rings. - Kenza Guenda, T. Aaron Gulliver:
Construction of Cyclic Codes over $\mathbb{F}_2+u\mathbb{F}_2$ for DNA Computing. - Kenza Guenda, T. Aaron Gulliver:
Self-dual Repeated Root Cyclic and Negacyclic Codes over Finite Fields. - Xi Li, Anthony R. Dick, Chunhua Shen, Anton van den Hengel, Hanzi Wang:
Incremental Learning of 3D-DCT Compact Representations for Robust Visual Tracking. - Ali Shadvar:
Dimension Reduction by Mutual Information Feature Extraction. - Klaus M. Frahm, D. L. Shepelyansky:
Google matrix of Twitter. - Jonathan P. Bowen, Robin J. Wilson:
Visualising Virtual Communities: From Erdős to the Arts. - Stefania Boiano, Jonathan P. Bowen, Giuliano Gaia:
Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience. - Nungleppam Monoranjan Singh, Kanak Chandra Sarma:
Design and Development of Low Cost PC Based Real Time Temperature and Humidity Monitoring System. - Matteo Ceriotti, Massimiliano Vasile, Giovanni Giardini, Mauro Massari:
An Approach to Model Interest for Planetary Rover through Dezert-Smarandache Theory. - Massimiliano Vasile:
Robust Mission Design Through Evidence Theory and Multi-Agent Collaborative Search. - Makarius Wenzel:
Isabelle/jEdit --- a Prover IDE within the PIDE framework. - Massimiliano Vasile, Edmondo A. Minisci, Quirien Wijnands:
Approximated Computation of Belief Functions for Robust Design Optimization. - James D. Currie:
Infinite ternary square-free words concatenated from permutations of a single word. - Petr N. Vabishchevich:
Flux-splitting schemes for parabolic problems. - Salvatore Talarico, Matthew C. Valenti, Don J. Torrieri:
Analysis and Optimization of a Frequency-Hopping Ad Hoc Network in Rayleigh Fading. - Mario Lomelí-Haro:
Minimal Convex Decompositions. - Gol Kim, Ri Suk Yun:
Optimal Selection of Assets Investing Composition Plan based on Grey Multi Objective Programming method. - Sebastian S. Bauer, Jean-Baptiste Raclet:
Proceedings Fourth Workshop on Foundations of Interface Technologies, FIT 2012, Tallinn, Estonia, 25th March 2012. EPTCS 87, 2012 [contents] - Michael Galetzka, Patrick O. Glauner:
A correct even-odd algorithm for the point-in-polygon (PIP) problem for complex polygons. - Boris Bellalta, Azadeh Faridi, Jaume Barceló, Vanesa Daza, Miquel Oliver:
Queueing Analysis in Multiuser Multi-Packet Transmission Systems Using Spatial Multiplexing. - Boris Bellalta, Azadeh Faridi, Dirk Staehle, Jaume Barceló, Alexey V. Vinel, Miquel Oliver:
Modeling a CSMA/CA MAC Protocol with Multi-packet Transmission/Reception in Non-saturated Conditions. - Quan Wang:
HMRF-EM-image: Implementation of the Hidden Markov Random Field Model and its Expectation-Maximization Algorithm. - Amin Gohari, Mohammad Hossein Yassaee, Mohammad Reza Aref:
Secure Channel Simulation. - Fabian Pedregosa, Alexandre Gramfort, Gaël Varoquaux, Bertrand Thirion, Christophe Pallier, Elodie Cauvet:
Improved brain pattern recovery through ranking approaches. - Leah Epstein, Asaf Levin, Rob van Stee:
A unified approach to truthful scheduling on related machines. - Yang Li, Pegah Kamousi, Fangqiu Han, Shengqi Yang, Xifeng Yan, Subhash Suri:
Memory Efficient De Bruijn Graph Construction. - Quan Wang:
Kernel Principal Component Analysis and its Applications in Face Recognition and Active Shape Models. - Mohammadreza Keyvanpour, Fereshteh Azizani:
Classification of Approaches and Challenges of Frequent Subgraphs Mining in Biological Networks. - Akisato Kimura, Masashi Sugiyama, Hitoshi Sakano, Hirokazu Kameoka:
Designing various component analysis at will. - Chathuranga Widanapathirana, Y. Ahmet Sekercioglu, Paul G. Fitzpatrick, Milosh V. Ivanovich, Jonathan C. Li:
Diagnosing client faults using SVM-based intelligent inference from TCP packet traces. - Yitong Yin, Chihao Zhang:
Approximate Counting via Correlation Decay on Planar Graphs. - Lawrence Ong, Christopher M. Kellett, Sarah J. Johnson:
On the Equal-Rate Capacity of the AWGN Multiway Relay Channel. - Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
On the Capacity of the Binary-Symmetric Parallel-Relay Network. - S. Padmavathi, N. Archana, K. P. Soman:
Hierarchical Approach for Total Variation Digital Image Inpainting. - Derek Leong, Tracey Ho:
Erasure Coding for Real-Time Streaming. - Mahyuddin K. M. Nasution, Shahrul Azman Noah:
Information Retrieval Model: A Social Network Extraction Perspective. - Stepan Holub:
Abelian powers in paper-folding words. - Robert Crowston, Gregory Z. Gutin, Mark Jones:
Directed Acyclic Subgraph Problem Parameterized above Raman-Saurabh Bound. - Muhammad Aslam, Tauseef Shah, Nadeem Javaid, Azizur Rahim, Ziaur Rahman, Zahoor Ali Khan:
CEEC: Centralized Energy Efficient Clustering A New Routing Protocol for WSNs. - Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
On Distributability of Petri Nets. - Fabian Pedregosa, Alexandre Gramfort, Gaël Varoquaux, Elodie Cauvet, Christophe Pallier, Bertrand Thirion:
Learning to rank from medical imaging data. - Azizur Rahim, Nadeem Javaid, Muhammad Aslam, U. Qasim, Zahoor Ali Khan:
Adaptive-Reliable Medium Access Control Protocol for Wireless Body Area Networks. - Günce Keziban Orman, Vincent Labatut, Hocine Cherifi:
Qualitative Comparison of Community Detection Algorithms. - Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic:
Formalizing Frankl's Conjecture: FC-families. - Can Demirkesen, Hocine Cherifi:
Fusing image representations for classification using support vector machines. - Liam Roditty, Virginia Vassilevska Williams:
Approximating the diameter of a graph. - Sukanta Sinha, Rana Dattagupta, Debajyoti Mukhopadhyay:
Identify Web-page Content meaning using Knowledge based System for Dual Meaning Words. - H. A. Dinesha, V. K. Agrawa:
Multi-dimensional password generation technique for accessing cloud services. - Eduardo dos Santos Pereira, Oswaldo D. Miranda:
OGCOSMO: An auxiliary tool for the study of the Universe within hierarchical scenario of structure formation. - Ki-Hong Park, Mohamed-Slim Alouini:
Joint Filter Design of Alternate MIMO AF Relaying Networks with Interference Alignment. - Eduardo dos Santos Pereira, Oswaldo D. Miranda:
Programing Using High Level Design With Python and FORTRAN: A Study Case in Astrophysics. - Simina Brânzei, Tomasz P. Michalak, Talal Rahwan, Kate Larson, Nicholas R. Jennings:
Matching Games with Additive Externalities. - Nihel Ben Youssef Ben Souayeh, Adel Bouhoula:
Formal Checking of Multiple Firewalls. - Yazan Ibdah, Yanwu Ding:
Statistical Simulation Models for Cascaded Rayleigh Fading Channels. - Serguei A. Mokhov, Joey Paquet, Mourad Debbabi, Yankui Sun:
MARFCAT: Transitioning to Binary and Larger Data Sets of SATE IV. - Joan Feigenbaum, Brighten Godfrey, Aurojit Panda, Michael Schapira, Scott Shenker, Ankit Singla:
On the Resilience of Routing Tables. - Jinsung Lee, Yung Yi, Song Chong, Bruno Nardelli, Edward W. Knightly, Mung Chiang:
Making 802.11 DCF Optimal: Design, Implementation, and Evaluation. - Moses A. Boudourides:
Communities in Affiliation Networks with Attitudunal Actors. - Önder Gürcan, Carole Bernon, Kemal S. Türker:
Towards a Self-Organized Agent-Based Simulation Model for Exploration of Human Synaptic Connections. - David Eppstein:
The Graphs of Planar Soap Bubbles. - Vincent Labatut, Hocine Cherifi:
Accuracy Measures for the Comparison of Classifiers. - Hao-Hsiang Hung:
Light Spanner and Monotone Tree. - Julian J. McAuley, Jure Leskovec:
Image Labeling on a Network: Using Social-Network Metadata for Image Classification. - Ben C. Moszkowski:
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time. - Chunyan Wang, Bernardo A. Huberman:
How Random are Online Social Interactions? - Lawrence Ong, Mehul Motani, Sarah J. Johnson:
On Capacity and Optimal Scheduling for the Half-Duplex Multiple-Relay Channel. - Gol Kim, Yunchol Jong, Sifeng Liu, Choe Rim Shong:
Hybrid Grey Interval Relation Decision-Making in Artistic Talent Evaluation of Player. - Ulugbek Kamilov, Sundeep Rangan, Alyson K. Fletcher, Michael Unser:
Approximate Message Passing with Consistent Parameter Estimation and Applications to Sparse Learning. - Nitin Yadav, Sebastian Sardiña:
Qualitative Approximate Behavior Composition. - Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen:
On the Relationship between LTL Normal Forms and Buechi Automata. - Md. Golam Rashed, M. Hasnat Kabir, Muhammad Sajjadur Rahim, Shaikh Enayet Ullah:
CBHRP: A Cluster Based Routing Protocol for Wireless Sensor Network. - Saleh Masum, M. Hasnat Kabir, Md. Matiqul Islam, Rifat Ara Shams, Shaikh Enayet Ullah:
Impact of Different Spreading Codes Using FEC on DWT Based MC-CDMA System. - Chathuranga Widanapathirana, Y. Ahmet Sekercioglu, Milosh V. Ivanovich, Paul G. Fitzpatrick, Jonathan C. Li:
Automated Inference System for End-To-End Diagnosis of Network Performance Issues in Client-Terminal Devices. - Md. Matiqul Islam, M. Hasnat Kabir, Shaikh Enayet Ullah:
Performance Analysis of Wavelet Based MC-CDMA System with Implementation of Various Antenna Diversity Schemes. - Youssef Atat, Mostafa Rizk:
Top Down Approach: SIMULINK Mixed Hardware / Software Design. - Nitin Yadav, Sebastian Sardiña:
Reasoning about Agent Programs using ATL-like Logics. - Md. Golam Rashed, M. Hasnat Kabir, Md. Selim Reza, Md. Matiqul Islam, Rifat Ara Shams, Saleh Masum, Shaikh Enayet Ullah:
Transmission of Voice Signal: BER Performance Analysis of Different FEC Schemes Based OFDM System over Various Channels. - Md. Golam Rashed, M. Hasnat Kabir, Muhammad Sajjadur Rahim, Shaikh Enayet Ullah:
Cluster Based Hierarchical Routing Protocol for Wireless Sensor Network. - Jun Fang, Hongbin Li:
A New Determinant Inequality of Positive Semi-Definite Matrices. - Abuzer Yakaryilmaz:
One-counter verifiers for decidable languages. - Md. Golam Rashed, M. Hasnat Kabir, Shaikh Enayet Ullah:
WEP: An Energy Efficient Protocol for Cluster Based Heterogeneous Wireless Sensor Network. - Rifat Ara Shams, M. Hasnat Kabir, Shaikh Enayet Ullah:
Effect of Interleaved FEC Code on Wavelet Based MC-CDMA System with Alamouti STBC in Different Modulation Schemes. - (Withdrawn) On lexicographic Groebner bases of radical ideals in dimension zero: interpolation and structure.
- Munsu Ju, Yunchol Jong:
Fast View Frustum Culling of Spatial Object by Analytical Bounding Bin. - Pasquale Panuzzo, Jinjing Li, Emmanuel Caux:
PlotXY: a high quality plotting system for the Herschel Interactive Processing Environment (HIPE), and the astronomical community. - Kishorjit Nongmeikapam, Vidya Raj RK, Oinam Imocha Singh, Sivaji Bandyopadhyay:
Automatic Segmentation of Manipuri (Meiteilon) Word into Syllabic Units. - Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Vincenzo Roselli:
Beyond Clustered Planarity. - Julien Henry, David Monniaux, Matthieu Moy:
PAGAI: a path sensitive static analyzer. - Mohammad Reza Jabbarpour Sattari, Rafidah Md Noor, Hassan Keshavarz:
A Taxonomy for Congestion Control Algorithms in Vehicular Ad Hoc Networks. - Alejandro César Frery, Julio Jacobo-Berlles, Juliana Gambini, Marta Mejail:
Polarimetric SAR Image Segmentation with B-Splines and a New Statistical Model. - Helmut Alt, Ludmila Scharf:
Computation of the Hausdorff distance between sets of line segments in parallel. - Liang Shen:
Developments and Obstacles in Chinese eBook Market. - Abhash Anand, Surender Baswana, Manoj Gupta, Sandeep Sen:
Maintaining Approximate Maximum Weighted Matching in Fully Dynamic Graphs. - Xiaoran Yan, Jacob E. Jensen, Florent Krzakala, Cristopher Moore, Cosma Rohilla Shalizi, Lenka Zdeborová, Pan Zhang, Yaojia Zhu:
Model Selection for Degree-corrected Block Models. - Shohreh Sharif Mansouri, Elena Dubrova:
Ring Oscillator Physical Unclonable Function with Multi Level Supply Voltages. - Luca Canzian, Yuanzhang Xiao, William R. Zame, Michele Zorzi, Mihaela van der Schaar:
Designing Information Revelation and Intervention with an Application to Flow Control. - Rajesh Hemant Chitnis, Marek Cygan, MohammadTaghi Hajiaghayi, Marcin Pilipczuk, Michal Pilipczuk:
Designing FPT algorithms for cut problems using randomized contractions. - Sathish Govindarajan, Abhijeet Khopkar:
On Locally Gabriel Geometric Graphs. - Matthew C. Valenti, Don J. Torrieri, Salvatore Talarico:
Optimization of a Finite Frequency-Hopping Ad Hoc Network in Nakagami Fading. - (Withdrawn) Mechanism Design in Large Games: Incentives and Privacy.
- Mehrdad J. Gangeh, Robert P. W. Duin, Bart M. ter Haar Romeny, Mohamed S. Kamel:
A Two-Stage Combined Classifier in Scale Space Texture Classification. - Spyros Chatzivasileiadis, Damien Ernst, Göran Andersson:
The Global Grid. - Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems. - Weiyu Xu, Er-Wei Bai:
Toeplitz Matrix Based Sparse Error Correction in System Identification. - Charles Gretton, Sylvie Thiébaux:
Exploiting First-Order Regression in Inductive Policy Selection. - Amy Greenwald, Justin A. Boyan:
Bidding under Uncertainty: Theory and Experiments. - Vibhav Gogate, Rina Dechter:
A Complete Anytime Algorithm for Treewidth. - Amir Globerson, Naftali Tishby:
The Minimum Information Principle for Discriminative Learning. - Phan Hong Giang, Sathyakama Sandilya:
Decision Making for Symbolic Probability. - Luis David Garcia:
Algebraic Statistics in Model Selection. - Alex Gammerman, Yuri Kalnishkan, Vladimir Vovk:
On-line Prediction with Kernels and the Complexity Approximation Principle. - Norman Ferns, Prakash Panangaden, Doina Precup:
Metrics for Finite Markov Decision Processes. - Zhengzhu Feng, Richard Dearden, Nicolas Meuleau, Richard Washington:
Dynamic Programming for Structured Continuous Markov Decision Problems. - Zhengzhu Feng, Shlomo Zilberstein:
Region-Based Incremental Pruning for POMDPs. - Didier Dubois, Hélène Fargier:
A Unified framework for order-of-magnitude confidence relations. - Rina Dechter, Robert Mateescu:
Mixtures of Deterministic-Probabilistic Networks and their AND/OR Search Space. - Peter R. de Waal, Linda C. van der Gaag:
Stable Independance and Complexity of Representation. - Fábio Gagliardi Cozman, Cassio Polpo de Campos, Jaime Shinsuke Ide, José Carlos Ferreira da Rocha:
Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitative Probabilistic Assesments. - Carlos Iván Chesñevar, Guillermo Ricardo Simari, Teresa Alsinet, Lluís Godo:
A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge. - Hei Chan, Adnan Darwiche:
Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters. - Wray L. Buntine, Aleks Jakulin:
Applying Discrete PCA in Data Analysis. - Ronen I. Brafman, Carmel Domshlak, Tanya Kogan:
Compact Value-Function Representations for Qualitative Preferences. - Bozhena Bidyuk, Rina Dechter:
On finding minimal w-cutset. - Navin A. R. Bhat, Kevin Leyton-Brown:
Computing Nash Equilibria of Action-Graph Games. - Dragomir Anguelov, Daphne Koller, Hoi-Cheung Pang, Praveen Srinivasan, Sebastian Thrun:
Recovering Articulated Object Models from 3D Range Data. - Leila Amgoud, Henri Prade:
Using arguments for making decisions: A possibilistic logic approach. - Yasemin Altun, Alexander J. Smola, Thomas Hofmann:
Exponential Families for Conditional Random Fields. - Rodney D. Nielsen:
MOB-ESP and other Improvements in Probability Estimation. - Iftach Nachman, Gal Elidan, Nir Friedman:
"Ideal Parent" Structure Learning for Continuous Variable Networks. - Iain Murray, Zoubin Ghahramani:
Bayesian Learning in Undirected Graphical Models: Approximate MCMC algorithms. - David A. McAllester, Michael Collins, Fernando Pereira:
Case-Factor Diagrams for Structured Probabilistic Modeling. - Yongyi Mao, Frank R. Kschischang, Brendan J. Frey:
Convolutional Factor Graphs as Probabilistic Models. - Anders L. Madsen:
An Empirical Evaluation of Possible Variations of Lazy Propagation. - Omid Madani, Daniel J. Lizotte, Russell Greiner:
Active Model Selection. - Guy Lebanon:
An Extended Cencov-Campbell Characterization of Conditional Information Geometry. - Ludmila Kuncheva, Christopher J. Whitaker, Peter D. Cockcroft, Z. S. J. Hoare:
Pre-Selection of Independent Binary Features: An Application to Diagnosing Scrapie in Sheep. - Sergey Kirshner, Padhraic Smyth, Andrew Robertson:
Conditional Chow-Liu Tree Structures for Modeling Discrete-Valued Vector Time Series. - Joseph Kahn:
A Generative Bayesian Model for Aggregating Experts' Probabilities. - Rong Jin, Luo Si:
A Bayesian Approach toward Active Learning for Collaborative Filtering. - Nathanael Hyafil, Craig Boutilier:
Regret Minimizing Equilibria and Mechanisms for Games with Strict Type Uncertainty. - Andrew G. Howard, Tony Jebara:
Dynamical Systems Trees. - Carlos Guestrin, Milos Hauskrecht, Branislav Kveton:
Solving Factored MDPs with Continuous and Discrete Variables. - Mukund Narasimhan, Jeff A. Bilmes:
PAC-learning bounded tree-width Graphical Models. - C. Lawrence Zitnick, Takeo Kanade:
Maximum Entropy for Collaborative Filtering. - Changhe Yuan, Tsai-Ching Lu, Marek J. Druzdzel:
Annealed MAP. - Huizhen Yu, Dimitri P. Bertsekas:
Discretized Approximations for POMDP with Average Cost. - Xuejian Xiong, Kap Luk Chan, Kian-Lee Tan:
Similarity-Driven Cluster Merging Method for Unsupervised Fuzzy Clustering. - Eric P. Xing, Michael I. Jordan, Stuart Russell:
Graph partition strategies for generalized mean field inference. - Ben Wellner, Andrew McCallum, Fuchun Peng, Michael Hay:
An Integrated, Conditional Model of Information Extraction and Coreference with Applications to Citation Matching. - Max Welling:
On the Choice of Regions for Generalized Belief Propagation. - Linda C. van der Gaag, Hans L. Bodlaender, Ad Feelders:
Monotonicity in Bayesian Networks. - Jin Tian:
Identifying Conditional Causal Effects. - Moshe Tennenholtz:
Reputation Systems: An Axiomatic Approach. - Chris Stauffer:
Factored Latent Analysis for far-field tracking data. - Rann Smorodinsky, Moshe Tennenholtz:
Sequential Information Elicitation in Multi-Agent Systems. - Trey Smith, Reid G. Simmons:
Heuristic Search Value Iteration for POMDPs. - Satinder Singh, Michael R. James, Matthew R. Rudary:
Predictive State Representations: A New Theory for Modeling Dynamical Systems. - Lenhart K. Schubert:
A New Characterization of Probabilities in Bayesian Networks. - Michal Rosen-Zvi, Thomas L. Griffiths, Mark Steyvers, Padhraic Smyth:
The Author-Topic Model for Authors and Documents. - Silja Renooij, Linda C. van der Gaag:
Evidence-invariant Sensitivity Bounds. - Daniel M. Reeves, Michael P. Wellman:
Computing Best-Response Strategies in Infinite Games of Incomplete Information. - Pradeep Ravikumar, John D. Lafferty:
Variational Chernoff Bounds for Graphical Models. - Judea Pearl:
Robustness of Causal Claims. - Mark A. Paskin, Carlos Guestrin:
Robust Probabilistic Inference in Distributed Systems. - Alon Orlitsky, Narayana P. Santhanam, Krishnamurthy Viswanathan, Junan Zhang:
On Modeling Profiles instead of Values. - Valentina Bayer Zubek:
Learning Diagnostic Policies from Examples by Systematic Search. - Barry R. Cobb, Prakash P. Shenoy:
Hybrid Influence Diagrams Using Mixtures of Truncated Exponentials. - Nebojsa Jojic, Yaron Caspi, Manuel Reyes-Gomez:
Probabilistic index maps for modeling natural signals. - Pradeep Ravikumar, William W. Cohen:
A Hierarchical Graphical Model for Record Linkage. - Mohammad Nabil Almunawar:
Acquiring IT Solutions through Open Source Software. - Minqi Shen, Anders Høst-Madsen:
The Wideband Slope of Interference Channels: The Small Bandwidth Case. - Behrang Nosrat-Makouei, Radha Krishna Ganti, Jeffrey G. Andrews, Robert W. Heath Jr.:
MIMO Interference Alignment in Random Access Networks. - Jean Honorio, Dimitris Samaras:
Simultaneous and Group-Sparse Multi-Task Learning of Gaussian Graphical Models. - Lin Chen, Athanasios V. Vasilakos:
Joint Rate Adaptation and Medium Access in Wireless LANs: a Non-cooperative Game Theoretic Perspective. - Mohammad Nabil Almunawar:
Content Based Multimedia Information Retrieval to Support Digital Libraries. - Zhenqi Huang, Sayan Mitra, Geir E. Dullerud:
Differentially Private Iterative Synchronous Consensus. - Ibrahim Sabek, Moustafa Youssef:
Spot: An accurate and efficient multi-entity device-free WLAN localization system. - Alexander Gutfraind, Lauren Ancel Meyers, Ilya Safro:
Multiscale Network Generation. - Uli Fahrenberg, Axel Legay:
A Robust Specification Theory for Modal Event-Clock Automata. 5-16 - Louis-Marie Traonouez:
A Parametric Counterexample Refinement Approach for Robust Timed Specifications. 17-33 - Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski:
Refinement for Transition Systems with Responses. 48-55 - Salvatore La Torre, P. Madhusudan, Gennaro Parlato:
Sequentializing Parameterized Programs. 34-47 - Jyotirmoy Karjee, H. S. Jamadagni:
Spatio-Temporal Data Correlation with Adaptive Strategies in Wireless Sensor Networks. - Jörg Brauer, Andy King:
Transfer Function Synthesis without Quantifier Elimination. - Salvatore Iaconesi, Oriana Persico:
ConnectiCity, augmented perception of the city. - Mohammad Nabil Almunawar:
Securing Electronic Transactions to Support E-Commerce. - Piotr Bródka, Przemyslaw Kazienko, Katarzyna Musial, Krzysztof Skibicki:
Analysis of Neighbourhoods in Multi-layered Dynamic Social Networks. - Piotr Bródka, Stanislaw Saganowski, Przemyslaw Kazienko:
GED: the method for group evolution discovery in social networks. - Artur Ventura, Nuno Diegues, David Martins de Matos:
Frame Interpretation and Validation in a Open Domain Dialogue System. - María E. Buemi, Marta Mejail, Julio C. Jacobo, Alejandro César Frery, Heitor S. Ramos:
Assessment of SAR Image Filtering using Adaptive Stack Filters. - Johannes M. Dieterich, Bernd Hartke:
Empirical review of standard benchmark functions using evolutionary global optimization. - Zeno Toffano, Bich-Liên Doan:
Quantum-like Tests for Contextual Querying. - Gregory Bonik, Sergei A. Goreinov, Nickolai L. Zamarashkin:
Construction and analysis of polar and concatenated polar codes: practical approach. - Zeev Nutov:
Approximating minimum-cost edge-covers of crossing biset-families. - Klaus Berberich, Srikanta J. Bedathur:
Computing n-Gram Statistics in MapReduce. - Venkatesan Guruswami, Ali Kemal Sinop:
Faster SDP hierarchy solvers for local rounding algorithms. - Zhewei Wei, Ke Yi:
The Space Complexity of 2-Dimensional Approximate Range Counting. - Zhewei Wei, Ke Yi:
Equivalence between Priority Queues and Sorting in External Memory. - Mingyi Hong, Alfredo García, Jorge Barrera, Stephen G. Wilson:
Joint Access Point Selection and Power Allocation for Uplink Wireless Networks. - Yoshua Bengio, Grégoire Mesnil, Yann N. Dauphin, Salah Rifai:
Better Mixing via Deep Representations. - Jingwei Liu, Meizhi Xu:
Penalty Constraints and Kernelization of M-Estimation Based Fuzzy C-Means. - Liang Dai, Kristiaan Pelckmans:
On the Nuclear Norm heuristic for a Hankel matrix Recovery Problem. - Vesna Marinkovic, Predrag Janicic:
Towards Understanding Triangle Construction Problems. - Fabio Daolio, Marco Tomassini, Sébastien Vérel, Gabriela Ochoa:
Communities of Minima in Local Optima Networks of Combinatorial Spaces. - Bilel Derbel, Sébastien Vérel:
DAMS: Distributed Adaptive Metaheuristic Selection. - Marie-Eléonore Marmion, Clarisse Dhaenens, Laetitia Jourdan, Arnaud Liefooghe, Sébastien Vérel:
NILS: a Neutrality-based Iterated Local Search and its application to Flowshop Scheduling. - Sébastien Vérel, Arnaud Liefooghe, Clarisse Dhaenens:
Set-based Multiobjective Fitness Landscapes: A Preliminary Study. - Sébastien Vérel, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens:
Pareto Local Optima of Multiobjective NK-Landscapes with Correlated Objectives. - Gabriela Ochoa, Sébastien Vérel, Marco Tomassini:
First-improvement vs. Best-improvement Local Optima Networks of NK Landscapes. - Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
On Model Based Synthesis of Embedded Control Software. - Connor Ahlbach, Jeremy Usatine, Nicholas Pippenger:
Efficient Algorithms for Zeckendorf Arithmetic. - Erez Biton, Asaf Cohen, Guy Reina, Omer Gurewitz:
Distributed Inter-Cell Interference Mitigation Via Joint Scheduling and Power Control Under Noise Rise Constraints. - Simon Lacoste-Julien, Konstantina Palla, Alex Davies, Gjergji Kasneci, Thore Graepel, Zoubin Ghahramani:
SiGMa: Simple Greedy Matching for Aligning Large Knowledge Bases. - Ricardo A. Vargas, C. Sidney Burrus:
Iterative Design of L_p Digital Filters. - Minghai Qin, Eitan Yaakobi, Paul H. Siegel:
Time-Space Constrained Codes for Phase-Change Memories. - Rong-Hua Li, Jeffrey Xu Yu:
Efficient Core Maintenance in Large Dynamic Graphs. - Farzad Parseh, Davood Karimzadgan Moghaddam, Mir Mohsen Pedram, Rohollah Esmaeli Manesh, Mohammad (Behdad) Jamshidi:
Presentation an Approach for Optimization of Semantic Web Language Based on the Document Structure. - Nathalie Bertrand, Philippe Schnoebelen:
Solving Stochastic Büchi Games on Infinite Decisive Arenas. 116-131 - Ihn-Jung Baik, Sae-Young Chung:
Causal relay networks. - Vangelis Angelakis, Anthony Ephremides, Qing He, Di Yuan:
Minimum-Length Scheduling with Finite Queues: Solution Characterization and Algorithmic Framework. - Luís M. S. Russo, Alexandre P. Francisco:
Quick HyperVolume. - Ghada F. ElKabbany, Heba Kamal Aslan:
Efficient Design for the Implementation of Wong-Lam Multicast Authentication Protocol Using Two-Levels of Parallelism. - Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda:
Efficient LZ78 factorization of grammar compressed text. - Patrick Prosser:
Exact Algorithms for Maximum Clique: a computational study. - Éric Laporte:
Appropriate Nouns with Obligatory Modifiers. - Marie-Eléonore Marmion, Clarisse Dhaenens, Laetitia Jourdan, Arnaud Liefooghe, Sébastien Vérel:
The Road to VEGAS: Guiding the Search over Neutral Networks. - Sébastien Vérel, Arnaud Liefooghe, Jérémie Humeau, Laetitia Jourdan, Clarisse Dhaenens:
On the Effect of Connectedness for Biobjective Multiple and Long Path Problems. - Marie-Eléonore Marmion, Clarisse Dhaenens, Laetitia Jourdan, Arnaud Liefooghe, Sébastien Vérel:
On the Neutrality of Flowshop Scheduling Fitness Landscapes. - Sébastien Vérel, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens:
Analyzing the Effect of Objective Correlation on the Efficient Set of MNK-Landscapes. - Gabriela Ochoa, Sébastien Vérel, Fabio Daolio, Marco Tomassini:
Clustering of Local Optima in Combinatorial Fitness Landscapes. - Gregory Bonik, Sergei A. Goreinov, Nickolai L. Zamarashkin:
A variant of list plus CRC concatenated polar code. - Lukasz Kowalik, Marcin Mucha:
A 9k kernel for nonseparating independent set in planar graphs. - John Langford, Joelle Pineau:
Proceedings of the 29th International Conference on Machine Learning (ICML-12). - Fabian Schuh, Andreas Schenk, Johannes B. Huber:
Reduced Complexity Super-Trellis Decoding for Convolutionally Encoded Transmission Over ISI-Channels. - Lukasz Kowalik:
Nonblocker in H-minor free graphs: kernelization meets discharging. - Kenneth L. Clarkson, Petros Drineas, Malik Magdon-Ismail, Michael W. Mahoney, Xiangrui Meng, David P. Woodruff:
The Fast Cauchy Transform: with Applications to Basis Construction, Regression, and Subspace Approximation in L1. - Maciej Liskiewicz, Martin R. Schuster:
Improved Analysis of an Exact Algorithm for Cubic Graph TSP. - Chenyang Li, Mingyi Hong, Randy Cogill, Alfredo García:
An Adaptive Online Ad Auction Scoring Algorithm for Revenue Maximization. - Edwin Hammerich:
A Note on Gallager's Capacity Theorem for Waveform Channels. - Marc G. Bellemare, Yavar Naddaf, Joel Veness, Michael Bowling:
The Arcade Learning Environment: An Evaluation Platform for General Agents. - Dror Fried, Solomon Eyal Shimony, Amit Benbassat, Cenny Wenner:
Complexity of Canadian Traveler Problem Variants. - Anoosheh Heidarzadeh, Amir H. Banihashemi:
Efficient Feedback-Based Scheduling Policies for Chunked Network Codes over Networks with Loss and Delay. - Tomislav Petrovic:
"Two betting strategies that predict all compressible sequences" presentation. - Ales Antonin Kubena, Peter Franek:
Shapley's Game Value Axiomatic with restricted symmetry. - Simon Lacoste-Julien, Martin Jaggi, Mark Schmidt, Patrick Pletscher:
Stochastic Block-Coordinate Frank-Wolfe Optimization for Structural SVMs. - Nikola Zlatanov, Robert Schober:
Buffer-Aided Relaying with Adaptive Link Selection - Fixed and Mixed Rate Transmission. - Anke M. Brock, Philippe Truillet, Bernard Oriola, Delphine Picard, Christophe Jouffrais:
Design and User Satisfaction of Interactive Maps for Visually Impaired People. - Sanjeev Arora, Arnab Bhattacharyya, Rajsekar Manokaran, Sushant Sachdeva:
Testing Permanent Oracles -- Revisited. - Shiva Kumar Planjery, David Declercq, Ludovic Danjean, Bane Vasic:
Finite Alphabet Iterative Decoders, Part I: Decoding Beyond Belief Propagation on BSC. - Hosam Abdo, Nathann Cohen, Darko Dimitrov:
Bounds and Computation of Irregularity of a Graph. - David Declercq, Bane Vasic, Shiva Kumar Planjery, Erbao Li:
Finite Alphabet Iterative Decoders, Part II: Improved Guaranteed Error Correction of LDPC Codes via Iterative Decoder Diversity. - José Luis Chacón, Ramón Pino Pérez:
Exploring the rationality of some syntactic merging operators (extended version). - Hung Hai Bui, Tuyen N. Huynh, Sebastian Riedel:
Automorphism Groups of Graphical Models and Lifted Variational Inference. - Angus Macdonald:
The Architecture of an Autonomic, Resource-Aware, Workstation-Based Distributed Database System. - Harish Sethu, Xiaoyu Chu:
A new algorithm for extracting a small representative subgraph from a very large graph. - Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani:
Intruder deducibility constraints with negation. Decidability and application to secured service compositions. - Hans L. Bodlaender, Bart M. P. Jansen, Stefan Kratsch:
Kernel Bounds for Structural Parameterizations of Pathwidth. - G. N. Tripathi, V. Rihani:
Motion Planning Of an Autonomous Mobile Robot Using Artificial Neural Network. - N. Md. Jubair Basha, Salman Abdul Moiz:
A Methodology to manage victim components using CBO measure. - Hasni Neji:
Ontology for Cellular Communication. - Ashish Gupta, Akshay Mittal, Arnab Bhattacharya:
Minimally Infrequent Itemset Mining using Pattern-Growth Paradigm and Residual Trees. - Ahmad Raza Khan, Rquaiya Khan, Trimbak R. Sontakke, Shraddha R. Khonde, Revati M. Wahul, Mahtab Alam:
Service Oriented Architecture A Revolution For Comprehensive Web Based Project Management Software. - Noureddine Hamdi:
Variance Based Algorithm for Grouped-Subcarrier Allocation in OFDMA Wireless Systems. - Esha Sahai, Tuhin Sahai:
Mapping and Reducing the Brain on the Cloud. - Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Control and Synthesis of Non-Interferent Timed Systems. - Madhur Srivastava, Yashwant Yashu, Satish Kumar Singh, Prasanta K. Panigrahi:
Multisegmentation through wavelets: Comparing the efficacy of Daubechies vs Coiflets. - Jung Hyun Bae, Jungwon Lee, Inyup Kang:
The GDOF of 3-user MIMO Gaussian interference channel. - Eugene Goldberg, Panagiotis Manolios:
Checking Satisfiability by Dependency Sequents. - Les Hatton:
Power-Laws and the Conservation of Information in discrete token systems: Part 1 General Theory. - Reza Khosravi-Farsani, Farokh Marvasti:
Capacity Theorems for the Cognitive Radio Channel with Confidential Messages. - Somantika Datta:
Construction of zero autocorrelation stochastic waveforms. - Giovanni Geraci, Malcolm A. Egan, Jinhong Yuan, Adeel Razi, Iain B. Collings:
Secrecy Sum-Rates for Multi-User MIMO Regularized Channel Inversion Precoding. - Firouz Abdullah Al-Wassai, N. V. Kalyankar:
A Novel Metric Approach Evaluation For The Spatial Enhancement Of Pan-Sharpened Images. - Renyuan Zhang, Kai Cai, Yongmei Gan, Zhaoan Wang, Walter Murray Wonham:
Distributed Supervisory Control of Discrete-Event Systems with Communication Delay. - David Eppstein:
Diamond-Kite Meshes: Adaptive Quadrilateral Meshing and Orthogonal Circle Packing. - Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke:
Assume-Guarantee Abstraction Refinement for Probabilistic Systems. - Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke:
Learning Probabilistic Systems from Tree Samples. - A. A. Khulage, B. V. Pathak:
Analysis of speech under stress using Linear techniques and Non-Linear techniques for emotion recognition system. - Mahmood Shafiee, Golriz Amooee, Yaghoub Farjami:
Developing an Activity-Based Costing Approach to Maximize the Efficiency of Customer Relationship Management Projects. - Junyan Wang, Kap Luk Chan:
Piecewise Linear Patch Reconstruction for Segmentation and Description of Non-smooth Image Structures. - Mahyuddin K. M. Nasution:
Algebraic on Magic Square of Odd Order n. - Daniel Goc, Jeffrey O. Shallit:
Primitive Words and Lyndon Words in Automatic Sequences. - Raja Jitendra Nayaka, Rajashekhar C. Biradar:
Ethernet Packet Processor for SoC Application. - Michael Dinitz, Guy Kortsarz:
Matroid Secretary for Regular and Decomposable Matroids. - Fatih Korkmaz, Musa Faruk Çakir, Yilmaz Korkmaz, Ismail Topaloglu:
Stator flux optimization on direct torque control with fuzzy logic. - Dmitry Zinoviev:
Clown: a Microprocessor Simulator for Operating System Studies. - Gregory T. Minton, Eric Price:
Improved Concentration Bounds for Count-Sketch. - Yong Zeng, Cenk M. Yetis, Erry Gunawan, Yong Liang Guan, Rui Zhang:
Transmit Optimization with Improper Gaussian Signaling for Interference Channels. - Francis Maes, Damien Ernst, Louis Wehenkel:
Meta-Learning of Exploration/Exploitation Strategies: The Multi-Armed Bandit Case. - Michael Elkin, Hartmut Klauck, Danupon Nanongkai, Gopal Pandurangan:
Quantum Distributed Network Computing: Lower Bounds and Techniques. - Dimitris Fotakis, Alexis C. Kaporis, Thanasis Lianeas, Paul G. Spirakis:
On the Hardness of Network Design for Bottleneck Routing Games. - Venkatesan T. Chakaravarthy, Natwar Modani, Sivaramakrishnan R. Natarajan, Sambuddha Roy, Yogish Sabharwal:
Density Functions subject to a Co-Matroid Constraint. - Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano:
A colouring protocol for the generalized Russian cards problem. - Elmar Peise:
Hierarchical Performance Modeling for Ranking Dense Linear Algebra Algorithms. - Emil Jerábek:
Integer factoring and modular square roots. - George Beskales, Ihab F. Ilyas, Lukasz Golab, Artur Galiullin:
On the Relative Trust between Inconsistent Data and Inaccurate Constraints. - Sébastien Bubeck, Damien Ernst, Aurélien Garivier:
Optimal discovery with probabilistic expert advice: finite time analysis and macroscopic optimality. - Hosam Abdo, Darko Dimitrov:
The total irregularity of a graph. - Xing M. Wang:
Probability Bracket Notation, Multivariable Systems and Bayesian Networks. - Jianghao He, Soung Chang Liew:
Building Blocks of Physical-layer Network Coding. - P. Udayakumar, M. Indhumathi:
Semantic web based Sensor Planning Services (SPS) for Sensor Web Enablement (SWE). - Martina Cardone, Raymond Knopp, Daniela Tuninetti, Umer Salim:
On the Gaussian Interference Channel with Causal Cognition, or with Unilateral Source Cooperation. - Joan Boyar, Magnus Find:
Cancellation-free circuits: An approach for proving superlinear lower bounds for linear Boolean operators. - V. Jayaraj, M. Indhumathi:
High Reliable secure data collection using Complexity exchanging code key method addressing protocol in Wireless Sensor Network. - Ziqiang Shi, Jiqing Han, Tieran Zheng, Shiwen Deng, Ji Li:
Guarantees of Augmented Trace Norm Models in Tensor Recovery. - Kais Haddar, Héla Fehri, Laurent Romary:
A prototype for projecting HPSG syntactic lexica towards LMF. - Hanwen Cao, Jürgen Peissig:
A Robust Signal Classification Scheme for Cognitive Radio. - Gang Liao, Lei Liu, Lian Luo:
A New P2N Approach to Software Development Under the Clustering. - Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson:
Lattice based Least Fixed Point Logic. - Deepak Kumar, Manjeet Singh, Seema Shukla:
FST Based Morphological Analyzer for Hindi Language. - Andreas Cord-Landwehr, Martina Hüllmann, Peter Kling, Alexander Setzer:
Basic Network Creation Games with Communication Interests. - Nieves R. Brisaboa, Ana Cerdeira-Pena, Gonzalo Navarro, Oscar Pedreira:
Ranked Document Retrieval in (Almost) No Space. - Yongge Wang:
sSCADA: Securing SCADA Infrastructure Communications. - Qiong Cao, Zheng-Chu Guo, Yiming Ying:
Generalization Bounds for Metric and Similarity Learning. - Yongge Wang:
Efficient Identity-Based and Authenticated Key Agreement Protocol. - Yongge Wang, Yvo Desmedt:
Edge-Colored Graphs with Applications To Homogeneous Faults. - Zhu Zhao, Zhongqi Dong, Yongge Wang:
Security Analysis of a Password-Based Authentication Protocol Proposed to IEEE 1363. - Yongge Wang:
Using mobile agent results to create hard-to-detect computer viruses. - Yongge Wang:
Public Key Cryptography Standards: PKCS. - Daniel Goc, Jeffrey O. Shallit:
Least periods of k-automatic sequences. - Tarik Kaced, Andrei E. Romashchenko:
On the Non-robustness of Essentially Conditional Information Inequalities. - Said Aminzou, Brahim Er-Raha, Youness Idrissi Khamlichi, Mustapha Machkour, Karim Afdel:
Enhancing Data Security in Medical Information System Using the Watermarking Techniques and Oracle SecureFile LOBs. - Yongge Wang, Xintao Wu:
Approximate Inverse Frequent Itemset Mining: Privacy, Complexity, and Approximation. - Nadir K. Salih, Tianyi Zang:
Survey and comparison for Open and closed sources in cloud computing. - Saeed Abdallah, Ioannis N. Psaromiligkos:
Exact Cramer-Rao Bounds for Semi-blind Channel Estimation in Amplify-and-Forward Two-Way Relay Networks. - Yongge Wang:
Password Protected Smart Card and Memory Stick Authentication Against Off-line Dictionary Attacks. - Yang Cai, Constantinos Daskalakis, S. Matthew Weinberg:
Optimal Multi-Dimensional Mechanism Design: Reducing Revenue to Welfare Maximization. - Moises Delgado, Heeralal Janwa:
On the Conjecture on APN Functions. - David Tolpin, Solomon Eyal Shimony:
MCTS Based on Simple Regret. - Yongge Wang:
LT Codes For Efficient and Reliable Distributed Storage Systems Revisited. - Antonio Tapiador, Víctor Sánchez, Joaquín Salvachúa:
An analysis of social network connect services. - Mahdi Milani Fard, Yuri Grinberg, Amir Massoud Farahmand, Joelle Pineau, Doina Precup:
Bellman Error Based Feature Generation using Random Projections on Sparse Spaces. - Chung-Li Wang, Xiaoheng Chen, Zongwang Li, Shaohua Yang:
A Simplified Min-Sum Decoding Algorithm for Non-Binary LDPC Codes. - Zubair Khalid, Rodney A. Kennedy, Salman Durrani, Parastoo Sadeghi, Jason D. McEwen:
Fast directional spatially localized spherical harmonic transform. - Jeffrey Power Jacobs, James A. Reggia:
Evolving Musical Counterpoint: The Chronopoint Musical Evolution System. - David Tolpin, Solomon Eyal Shimony:
VOI-aware MCTS. - Ugo Dal Lago, Barbara Petit:
Linear Dependent Types in a Call-by-Value Scenario (Long Version). - Noureddine Chikouche, Cherif Foudil, Mohamed Benmohammed:
An Authentication Protocol Based on Combined RFID-Biometric System RFID-Biometric System. - Archontia C. Giannopoulou, Iosif Salem, Dimitris Zoros:
Effective Computation of Immersion Obstructions for Unions of Graph Classes. - Kaibin Huang, Vincent K. N. Lau:
Enabling Wireless Power Transfer in Cellular Networks: Architecture, Modeling and Deployment. - Bobbie Chern, Ayfer Özgür:
Achieving the Capacity of the N-Relay Gaussian Diamond Network Within log N Bits. - Rong-Hua Li, Jeffrey Xu Yu, Xin Huang, Hong Cheng:
A Framework of Algorithms: Computing the Bias and Prestige of Nodes in Trust Networks. - György Dósa, Zsolt Tuza:
Bin Packing/Covering with Delivery: Some variations, theoretical results and efficient offline algorithms. - Vojtech Matocha, Stepan Holub:
Complexity of testing morphic primitivity. - Matthias Mnich, Geevarghese Philip, Saket Saurabh, Ondrej Suchý:
Beyond Max-Cut: λ-Extendible Properties Parameterized Above the Poljak-Turzík Bound. - Pragya Agrawal, Gautam K. Das:
Improved Interference in Wireless Sensor Networks. - Tomasz M. Rutkowski, Hiromu Mori, Yoshihiro Matsumoto, Zhenyu Cai, Moonjeong Chang, Nozomu Nishikawa, Shoji Makino, Koichi Mori:
Haptic BCI Paradigm based on Somatosensory Evoked Potential. - Joseph Cheriyan, Zachary Friggstad, Zhihan Gao:
Approximating Minimum-Cost Connected T-Joins. - Golnaz Badkobeh, Maxime Crochemore:
Fewest repetitions in infinite binary words. - S. Selvakanmani, M. Sumathi:
A Review of routing protocols for mobile cognitive radio ad hoc networks. - A. Divya, Sanjay Singh:
Differentiated QoS with Modified C/I Based Scheduling Algorithm. - Tarik Kaced, Andrei E. Romashchenko:
Conditional Information Inequalities for Entropic and Almost Entropic Points. - Swathi Rajasurya, Tamizhamudhu Muralidharan, Sandhiya Devi, S. Swamynathan:
Semantic Information Retrieval Using Ontology In University Domain. - Mihalis G. Markakis, Eytan H. Modiano, John N. Tsitsiklis:
Delay Stability Regions of the Max-Weight Policy under Heavy-Tailed Traffic. - Evangelia Kokolaki, Merkourios Karaliopoulos, Ioannis Stavrakakis:
Leveraging information in vehicular parking games. - Lou Marvin Caraig:
A New Training Algorithm for Kanerva's Sparse Distributed Memory. - Udayan Khurana, Amol Deshpande:
Efficient Snapshot Retrieval over Historical Graph Data. - Karthekeyan Chandrasekaran, László A. Végh, Santosh S. Vempala:
The Cutting Plane Method is Polynomial for Perfect Matchings. - Satrajit S. Ghosh:
Algorithm to suppress scanner noise in recorded speech during functional magnetic resonance imaging. - Konstantinos I. Tsianos, Michael G. Rabbat:
The Impact of Communication Delays on Distributed Consensus Algorithms. - Quanyan Zhu, Andrew Clark, Radha Poovendran, Tamer Basar:
SODEXO: A System Framework for Deployment and Exploitation of Deceptive Honeybots in Social Networks. - Kenneth S. Andrews, Sam Dolinar:
Performance of the Bounded Distance Decoder on the AWGN Channel. - Yezekayel Hayel, Majed Haddad:
Hierarchy induces Spectrum Coordination in Energy Efficient Multi-carrier Power Control Game. - Yue Wu, Sos S. Agaian, Joseph P. Noonan:
Sudoku Associated Two Dimensional Bijections for Image Scrambling. - Zubair Khalid, Salman Durrani:
Distance Distributions in Regular Polygons. - Rui Wang, Haizhang Zhang:
Optimal Sampling Points in Reproducing Kernel Hilbert Spaces. - Nicholas Hay, Stuart Russell, David Tolpin, Solomon Eyal Shimony:
Selecting Computations: Theory and Applications. - Jinyu Huang:
Black-box Identity Testing for Low Degree Unmixed $ΣΠΣΠ(k)$ Circuits. - Bart Demoen, Maria Garcia de la Banda:
Redundant Sudoku Rules. - Piyush Harsh, Florian Dudouet, Roberto G. Cascella, Yvon Jégou, Christine Morin:
Using Open Standards for Interoperability - Issues, Solutions, and Challenges facing Cloud Computing. - Jun Kawahara, Koji M. Kobayashi, Tomotaka Maeda:
Tight Analysis of Priority Queuing Policy for Egress Traffic. - Mehdi Ahmed-Nacer, Stéphane Martin, Pascal Urso:
File system on CRDT. - Loretta Mastroeni, Maurizio Naldi:
Analysis of cloud storage prices. - Craig Valli, Andrew Woodward:
The 2008 Australian study of remnant data contained on 2nd hand hard disks: the saga continues. - Giovanni Quattrone, Licia Capra, Pasquale De Meo, Emilio Ferrara, Domenico Ursino:
Effective Retrieval of Resources in Folksonomies Using a New Tag Similarity Measure. - Giovanni Quattrone, Emilio Ferrara, Pasquale De Meo, Licia Capra:
Measuring Similarity in Large-scale Folksonomies. - Agustín Santos Méndez, Antonio Fernández Anta, Luis López Fernández:
Quid Pro Quo: A Mechanism for Fair Collaboration in Networked Systems. - Mark Sh. Levin:
Composition of Modular Telemetry System with Interval Multiset Estimates. - Anoosheh Heidarzadeh, Amir H. Banihashemi:
Coding Delay Analysis of Dense and Chunked Network Codes over Line Networks. - Gongguo Tang, Badri Narayan Bhaskar, Parikshit Shah, Benjamin Recht:
Compressed Sensing off the Grid. - Behzad Ahmadi, Himanshu Asnani, Osvaldo Simeone, Haim H. Permuter:
Information Embedding on Actions. - Piotr Wiecek, Majed Haddad, Eitan Altman:
A Hierarchical Approach for the Association Problem with Misleading Partial Channel State Information. - Graham Cormode, Cecilia M. Procopiuc, Divesh Srivastava, Grigory Yaroslavtsev:
Accurate and Efficient Private Release of Datacubes and Contingency Tables. - (Withdrawn) The Coalitional Switch off Game of Service Providers.
- Hua Sun, Chunhua Geng, Tiangao Gou, Syed Ali Jafar:
Degrees of Freedom of MIMO X Networks: Spatial Scale Invariance, One-Sided Decomposability and Linear Feasibility. - Mojtaba Vaezi, Fabrice Labeau:
Systematic DFT Frames: Principle, Eigenvalues Structure, and Applications. - Muhammad Anshari, Mohammad Nabil Almunawar, Patrick Kim Cheng Low, Zaw Wint:
Customer Empowerment in Healthcare Organisations Through CRM 2.0: Survey Results from Brunei Tracking a Future Path in E-Health Research. - Wenguang Mao, Xudong Wang:
A++ Random Access for Two-way Relaying in Wireless Networks. - Muhammad Anshari, Mohammad Nabil Almunawar:
Framework of Social Customer Relationship Management in E-Health Services. - Qiang Fang, Xinsheng Huang:
A Unified Approach of Observability Analysis for Airborne SLAM. - Yusnani Mohd Yussoff, Habibah Hashim, Mohd Dani Baba:
Identity-based Trusted Authentication in Wireless Sensor Network. - Mahyuddin K. M. Nasution:
Kolmogorov Complexity: Clustering Objects and Similarity. - Vaneet Aggarwal, Shankar Krishnan:
Achieving Approximate Soft Clustering in Data Streams. - Huaping Liu, Petar Popovski, Elisabeth de Carvalho, Yuping Zhao:
Sum-Rate Optimization in a Two-Way Relay Network with Buffering. - Jérôme Euzenat:
Evolving knowledge through negotiation. - Mario Frank, Ralf Biedert, Eugene Ma, Ivan Martinovic, Dawn Song:
Touchalytics: On the Applicability of Touchscreen Input as a Behavioral Biometric for Continuous Authentication. - Robert Krauthgamer, Inbal Rika:
Mimicking Networks and Succinct Representations of Terminal Cuts. - Rui Henriques, Inês Lynce, Vasco Manquinho:
On When and How to use SAT to Mine Frequent Itemsets. - Sezi Bakim, Onur Kaya:
Power Control for Two User Cooperative OFDMA Channels. - Andrej Bogdanov, Siyao Guo:
Sparse extractor families for all the entropy. - Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen:
Off-line test selection with test purposes for non-deterministic timed automata. - Arnau Prat-Pérez, David Dominguez-Sal, Josep M. Brunat, Josep Lluís Larriba-Pey:
Shaping Communities out of Triangles. - Kai Wang, Minghong Lin, Florin Ciucu, Adam Wierman, Chuang Lin:
Characterizing the Impact of the Workload on the Value of Dynamic Resizing in Data Centers. - Krishnama Raju Kanchu, Subhash C. Kak:
On Randomness of Goldbach Sequences. - Francisco Rubio, Xavier Mestre, Walid Hachem:
A CLT on the SNR of Diagonally Loaded MVDR Filters. - Abhishek Sinha, Arpan Chattopadhyay, Kolar Purushothama Naveen, Marceau Coupechoux, Anurag Kumar:
Optimal Sequential Wireless Relay Placement on a Random Lattice Path. - Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Zelezný:
A Revised Publication Model for ECML PKDD. - Pierluigi Amodio, Luigi Brugnano:
Recent advances in bibliometric indexes and the PaperRank problem. - Sean Chester, Alex Thomo, S. Venkatesh, Sue Whitesides:
Computing optimal k-regret minimizing sets with top-k depth contours. - Peter Franek, Stefan Ratschan:
Effective Topological Degree Computation Based on Interval Arithmetic. - Varun S. Jog, Venkat Anantharam:
The Entropy Power Inequality and Mrs. Gerber's Lemma for Abelian Groups of Order 2^n. - Kenneth L. Clarkson, David P. Woodruff:
Low Rank Approximation and Regression in Input Sparsity Time. - T. Gregorics:
Concept of the abstract program. - Arindam Khan, Prasad Raghavendra, Prasad Tetali, László A. Végh:
On Mimicking Networks Representing Minimum Terminal Cuts. - Lajos László:
Sum of squares representation for the Böttcher-Wenzel biquadratic form. - V. Sargsyan:
Counting (k,l)-sumsets in groups of prime order. - José Bento, Nadia Fawaz, Andrea Montanari, Stratis Ioannidis:
Identifying Users From Their Rating Patterns. - Vladimir Edemskiy:
About the Linear Complexity of Ding-Hellesth Generalized Cyclotomic Binary Sequences of Any Period. - Zoltán Király, Péter Kovács:
Efficient implementations of minimum-cost flow algorithms. - Peter Burcsi:
Analysis of the picture cube puzzle. - Antal Iványi, Jon E. Schoenfield:
Deciding football sequences. - Danny Z. Chen, Yan Gu, Jian Li, Haitao Wang:
Algorithms on Minimizing the Maximum Sensor Movement for Barrier Coverage of a Linear Domain. - Yang Li, Aria Nosratinia:
Product Superposition for MIMO Broadcast Channels. - Shang-Pin Sheng, Mingyan Liu:
Profit Incentive In A Secondary Spectrum Market: A Contract Design Approach. - Debajyoti Mukhopadhyay, Dhaval Chandarana, Rutvi Dave, Sharyu Page, Shikha Gupta:
Query Optimization Over Web Services Using A Mixed Approach. - Khalegh Mamakani, Frank Ruskey:
A New Rose : The First Simple Symmetric 11-Venn Diagram. - Emmanuelle Anceaume, Yann Busnel:
Sketch \star-metric: Comparing Data Streams via Sketching. - Herbert Edelsbrunner, Carl-Philipp Heisenberg, Michael Kerber, Gabriel Krens:
The Medusa of Spatial Sorting: Topological Construction. - Lorenzo Coviello, Massimo Franceschetti:
Distributed team formation in multi-agent systems: stability and approximation. - Guanbo Zheng, Cunqing Hua, Rong Zheng, Qixin Wang:
A Robust Reflector Placement Framework for 60GHz mmWave Wireless Personal Area Networks. - Martianus Frederic Ezerman, Somphong Jitman, San Ling, Dmitrii V. Pasechnik:
CSS-like Constructions of Asymmetric Quantum Codes. - Steve Prestwich:
Earthquake Scenario Reduction by Symmetry Reasoning. - Chengqing Li, Yuansheng Liu, Leo Yu Zhang, Michael Z. Q. Chen:
Breaking a chaotic image encryption algorithm based on modulo addition and XOR operation. - Anas Chaaban, Aydin Sezgin, Daniela Tuninetti:
Achieving Net Feedback Gain in the Butterfly Network with a Full-Duplex Bidirectional Relay. - Vadim Zaytsev:
Guided Grammar Convergence. Full Case Study Report. Generated by converge::Guided. - Nguyen Duc Thuan:
Covering Rough Sets From a Topological Point of View. - Rama Badrinath, C. E. Veni Madhavan:
Diversity in Ranking using Negative Reinforcement. - Shuang Li, Zizhan Zheng, Eylem Ekici, Ness B. Shroff:
Maximizing Social Welfare in Operator-based Cognitive Radio Networks under Spectrum Uncertainty and Sensing Inaccuracy. - Joohyun Lee, Yung Yi, Song Chong, Youngmi Jin:
Economics of WiFi Offloading: Trading Delay for Cellular Capacity. - Hussein Al-Zubaidy, Jörg Liebeherr, Almut Burchard:
A Network Calculus Approach for the Analysis of Multi-Hop Fading Channels. - André Luckow, Mark Santcroos, Ole Weidner, André Merzky, Pradeep Kumar Mantha, Shantenu Jha:
P*: A Model of Pilot-Abstractions. - Shanshan Wu, Xudong Wang:
Information-Theoretic Study on Routing Path Selection in Two-Way Relay Networks. - Michele Amoretti, Carlos Gershenson:
Measuring the Complexity of Ultra-Large-Scale Evolutionary Systems. - Ziaul Hasan, Vijay K. Bhargava:
Relay Selection for OFDM Wireless Systems under Asymmetric Information: A Contract-Theory Based Approach. - Dushyantha A. Basnayaka, Peter J. Smith, Philippa A. Martin:
Ergodic Sum Capacity of Macrodiversity MIMO Systems in Flat Rayleigh Fading. - Dushyantha A. Basnayaka, Peter J. Smith, Philippa A. Martin:
Performance Analysis of Macrodiversity MIMO Systems with MMSE and ZF Receivers in Flat Rayleigh Fading. - Brian G. Woolley, Kenneth O. Stanley:
Exploring Promising Stepping Stones by Combining Novelty Search with Interactive Evolution. - Jochen Könemann, Kate Larson, David Steiner:
Network Bargaining: Using Approximate Blocking Sets to Stabilize Unstable Instances. - Christoph Benzmueller, Thomas Raths:
FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends. - David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivný:
An Algebraic Theory of Complexity for Discrete Optimisation. - Hubie Chen, Moritz Müller:
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction. - Fanggang Wang, Xiaojun Yuan, Soung Chang Liew, Dongning Guo:
Wireless MIMO Switching: Sum Mean Square Error and Sum Rate Optimization. - Hankz Hankui Zhuo, Subbarao Kambhampati, Tuan Anh Nguyen:
Model-Lite Case-Based Planning. - Tomasz Jurdzinski, Dariusz R. Kowalski, Tomasz Maciejewski, Grzegorz Stachowiak:
Distributed Broadcasting in Wireless Networks under the SINR Model. - Guan Gui, Aihua Kuang, Ling Wang:
Low-Speed ADC Sampling Based High-Resolution Compressive Channel Estimation. - Lluis Pamies-Juarez, Anwitaman Datta, Frédérique E. Oggier:
RapidRAID: Pipelined Erasure Codes for Fast Data Archival in Distributed Storage Systems. - Nadeem Javaid, Ayesha Bibi, Safdar Hussain Bouk, Akmal Javaid, Iwao Sasase:
Modeling Enhancements in DSR, FSR, OLSR under Mobility and Scalability Constraints in VANETs. - Habib B. A. Sidi, Wissam Chahin, Rachid El Azouzi, Francesco De Pellegrini:
Energy efficient Minority Game for Delay Tolerant Networks. - Kenneth W. Shum, Yuchong Hu:
Cooperative Regenerating Codes. - Revathi Arumugam Rajendran, Dhananjay Kumar:
A Survey Of Activity Recognition And Understanding The Behavior In Video Survelliance. - Parikshit Kolipaka, Sathish Govindarajan:
Two player game variant of the Erdos-Szekeres problem. - Mine Alsan, Emre Telatar:
Submartingale Property of E_0 Under The Polarization Transformations. - Mustafa Riza Akdeniz, Sundeep Rangan:
Wireless Scheduling with Dominant Interferers and Applications to Femtocellular Interference Cancellation. - Lee Naish:
Transforming floundering into success. - Elham Kashefi, Jean Krivine, Femke van Raamsdonk:
Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011. EPTCS 88, 2011 [contents] - Nader Ale Ebrahim, Shamsuddin Ahmed, Salwa Hanim Abdul-Rashid, Zahari Taha:
Technology Use in the Virtual R&D Teams. - Fourati Farah:
Une approche IDM de transformation exogène de Wright vers Ada. - Nader Ale Ebrahim, Salwa Hanim Abdul-Rashid, Shamsuddin Ahmed, Zahari Taha:
The Effectiveness of Virtual R&D Teams in SMEs: Experiences of Malaysian SMEs. - Jorge Fabrega, Pablo Paredes:
Three Degrees of Distance on Twitter. - Guan Gui, Wei Peng:
Improved Channel Estimation with Partial Sparse Constraint for AF Cooperative Communication Systems. - Surendranath Chowdary Chandra, C. Ravindranath Chowdary:
JASF: Jasta Security Framework. - Ashkan Panahi, Mats Viberg:
A robust l_1 penalized DOA estimator. - Mohsen Rezaee, Maxime Guillaud:
Interference Alignment with Quantized Grassmannian Feedback in the K-user MIMO Interference Channel. - Jakub M. Tomczak, Jerzy Swiatek, Krzysztof J. Latawiec:
Gaussian process regression as a predictive model for Quality-of-Service in Web service systems. - Guillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni:
Impact of fault prediction on checkpointing strategies. - Jonathan R. Ullman:
Answering n^{2+o(1)} Counting Queries with Differential Privacy is Hard. - Pavel Klavík, Jan Kratochvíl, Yota Otachi, Ignaz Rutter, Toshiki Saitoh, Maria Saumell, Tomás Vyskocil:
Extending Partial Representations of Proper and Unit Interval Graphs. - Fabian Lim:
Two Embedding Theorems for Data with Equivalences under Finite Group Action. - Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Finite Automata with Time-Delay Blocks (Extended Version). - (Withdrawn) A Beginner's Guide to Counting Spanning Trees in a Graph.
- Thomas Perry, Hongyuan Zha, Patricio Frias, Dadan Zeng, Mark L. Braunstein:
Supervised Laplacian Eigenmaps with Applications in Clinical Diagnostics for Pediatric Cardiology. - Sultan F. Meko:
Impact of channel partitioning and relay placement on resource allocation in OFDMA Cellular networks. - Shay Solomon:
Fault-Tolerant Spanners for Doubling Metrics: Better and Simpler. - Benjamin Heintz, Abhishek Chandra, Ramesh K. Sitaraman:
Optimizing MapReduce for Highly Distributed Environments. - Daniel Torres-Salinas, Nicolás Robinson-García, Emilio Delgado López-Cózar:
Towards a Book Publishers Citation Reports. First approach using the Book Citation Index. - Jan Kuipers, J. A. M. Vermaseren, Aske Plaat, H. Jaap van den Herik:
Improving multivariate Horner schemes with Monte Carlo tree search. - Mishari Al Mishari, Paolo Gasti, Naveen Nathan, Gene Tsudik:
Optimizing Bi-directional Low-Latency Communication in Named Data Networking. - John Whitbeck, Marcelo Dias de Amorim, Vania Conan, Jean-Loup Guillaume:
Temporal Reachability Graphs. - Kaouthar Chetioui, Ghizlane Orhanou, Said El Hajji, Abdelmajid Lakbabi:
Security of the DNS Protocol - Implementation and Weaknesses Analyses of DNSSEC. - Mourad Kmimech:
Vérification d'assemblages de composants logiciels : Application aux modèles de composants UML2.0 et Ugatze. - Nurcan Durak, Ali Pinar, Tamara G. Kolda, C. Seshadhri:
Degree Relations of Triangles in Real-world Networks and Models. - Cosmin Bonchis, Gabriel Istrate:
Improved approximation algorithms for low-density instances of the Minimum Entropy Set Cover Problem. - Nicolas Christin:
Traveling the Silk Road: A measurement analysis of a large anonymous online marketplace. - Dongning Guo:
Information and Estimation over Binomial and Negative Binomial Models. - Ali Assaf, Simon Perdrix:
Completeness of algebraic CPS simulations. 16-27 - Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
A Calculus of Looping Sequences with Local Rules. 43-58 - Nachum Dershowitz, Evgenia Falkovich:
A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-. 72-78 - Manfred Kudlek:
On the Existence of Universal Finite or Pushdown Automata. 79-86 - Michael W. Mislove:
Probabilistic Monads, Domains and Classical Information. 87-100 - Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, Kwangkeun Yi:
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. - Na-Rae Kim, Chan-Byoung Chae:
Novel Modulation Techniques using Isomers as Messenger Molecules for Nano Communication Networks via Diffusion. - Martin Milanic, Romeo Rizzi, Alexandru I. Tomescu:
Set graphs. II. Complexity of set graph recognition and similar problems. - Johannes Georg Klotz, David Kracht, Martin Bossert, Steffen Schober:
Canalizing Boolean Functions Maximize the Mutual Information. - Lan Zhang, Xiang-Yang Li:
Message in a Sealed Bottle: Privacy Preserving Friending in Social Networks. - Vladimir Kolmogorov:
The power of linear programming for valued CSPs: a constructive characterization. - Bartlomiej Blaszczyszyn, Paul Mühlethaler:
Stochastic Analytic Evaluation of End-to-End Performance of Linear Nearest Neighbour Routing in MANETs with Aloha. - Akira Shiozaki:
Multi-Dimensional Nonsystematic Reed-Solomon Codes. - Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil:
Gathering an even number of robots in an odd ring without global multiplicity detection. - Ameera Al-Karkhi, Adil Al-Yasiri, Nigel Linge:
Privacy, Trust and Identity in Pervasive Computing: A Review of Technical Challenges and Future Research Directions. - Liujuan Cao:
Visual Vocabulary Learning and Its Application to 3D and Mobile Visual Search. - Jingjun Han:
A simple quantifier-free formula of positive semi-definite cyclic ternary quartic forms. - Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig:
Software Verification for Weak Memory via Program Transformation. - Marcel Salathé, Duy Quang Vu, Shashank Khandelwal, David R. Hunter:
The Dynamics of Health Behavior Sentiments on a Large Online Social Network. - Yang Yang, Ness B. Shroff:
Throughput of Rateless Codes over Broadcast Erasure Channels. - Hanen Idoudi, Chiraz Houaidia, Leïla Azouz Saïdane, Pascale Minet:
Robots-Assisted Redeployment in Wireless Sensor Networks. - Ray Maleh, Gerald L. Fudge:
RIP Analysis of Modulated Sampling Schemes for Recovering Spectrally Sparse Signals. - Yaneer Bar-Yam, Shlomiya Bar-Yam, Karla Z. Bertrand, Nancy Cohen, Alexander Gard-Murray, Helen P. Harte, Luci K. Leykum:
A Complex Systems Science Approach to Healthcare Costs and Quality. - Dashiell E. A. Fryer:
The Kullback-Liebler Divergence as a Lyapunov Function for Incentive Based Game Dynamics. - Manuchehr Taghizadeh-Popp, S. Heinis, Alexander S. Szalay:
Single parameter galaxy classification: The Principal Curve through the multi-dimensional space of galaxy properties. - Duy Quang Vu, David R. Hunter, Michael Schweinberger:
Model-Based Clustering of Large Networks. - Felix Krahmer, Shahar Mendelson, Holger Rauhut:
Suprema of Chaos Processes and the Restricted Isometry Property. - Kevin Leckey, Ralph Neininger, Wojciech Szpankowski:
Towards More Realistic Probabilistic Models for Data Structures: The External Path Length in Tries under the Markov Model. - Yongjoo Baek, Daniel Kim, Meesoon Ha, Hawoong Jeong:
Fundamental Structural Constraint of Scale-Free Networks. - Viviane Pons:
Multivariate Polynomials in Sage. - Paul B. Slater:
Dendrogram/Regionalization of U. S. Counties Based upon Migration Flows. - Tsuyoshi Ito, Thomas Vidick:
A multi-prover interactive proof for NEXP sound against entangled provers. - Ji Liu, Stephen J. Wright:
Robust Dequantized Compressive Sensing. - Akira Terui:
GPGCD: An iterative method for calculating approximate GCD of univariate polynomials. - Eduardo G. Altmann, Giampaolo Cristadoro, Mirko Degli Esposti:
On the origin of long-range correlations in texts. - Yannick Viossat, Andriy Zapechelnyuk:
No-regret Dynamics and Fictitious Play. - Balázs Keszegh, Dömötör Pálvölgyi:
Octants are Cover-Decomposable into Many Coverings. - Ramon Ferrer-i-Cancho, Núria Forns, Antoni Hernández-Fernández, Gemma Bel Enguix, Jaume Baixeries:
The challenges of Menzerath's law in genomes. - Dan Braha:
A Universal Model of Global Civil Unrest. - Peter J. Bickel, David Choi, Xiangyu Chang, Hai Zhang:
Asymptotic Normality of Maximum Likelihood and its Variational Approximation for Stochastic Blockmodels. - Elchanan Mossel, Joe Neeman, Omer Tamuz:
Majority Dynamics and Aggregation of Information in Social Networks. - Benjamin A. Burton, Jonathan Spreer:
The complexity of detecting taut angle structures on triangulations. - Panpan Shu, Ming Tang, Kai Gong, Ying Liu:
Effects of Weak Ties on Epidemic Predictability in Community Networks. - (Withdrawn) The maximum number of intersections of two polygons.
- Emilie Morvant, Amaury Habrard, Stéphane Ayache:
PAC-Bayesian Majority Vote for Late Classifier Fusion. - Emiliano Dall'Anese, Georgios B. Giannakis:
Statistical Routing for Multihop Wireless Cognitive Networks. - Tarek Ahmed-Ali, Iasson Karafyllis, Françoise Lamnabhi-Lagarrigue:
Global Exponential Sampled-Data Observers for Nonlinear Systems with Delayed Measurements. - Avraham Bourla:
Bounding the Growth Rate of Approximation Coefficients using the Symmetry of Jager Pairs. - Jameson L. Toole, Michael Ulm, Dietmar Bauer, Marta C. González:
Inferring land use from mobile phone activity. - Anatoli B. Juditsky, Fatma Kilinç-Karzan, Arkadi Nemirovski:
On unified view of nullspace-type conditions for recoveries associated with general sparsity structures. - Radu Balan:
Reconstruction of Signals from Magnitudes of Redundant Representations. - Yuichiro Fujiwara:
Asynchronous quantum metadata. - Fariba Karimi, Petter Holme:
Threshold model of cascades in temporal networks. - David Gamarnik, Dmitriy Katz, Sidhant Misra:
Strong spatial mixing for list coloring of graphs. - Vitor H. P. Louzada, Fabio Daolio, Hans J. Herrmann, Marco Tomassini:
Generating Robust and Efficient Networks Under Targeted Attacks. - Colleen Swanson, Douglas R. Stinson:
Combinatorial Solutions Providing Improved Security for the Generalized Russian Cards Problem. - Ayesha R. Ali, Thomas S. Richardson, Peter Spirtes, Jiji Zhang:
Towards Characterizing Markov Equivalence Classes for Directed Acyclic Graphs with Latent Variables. - Manabu Kuroki, Zhihong Cai, Hiroki Motogaito:
The Graphical Identification for Total Effects by using Surrogate Variables. - Mike Klaas, Nando de Freitas, Arnaud Doucet:
Toward Practical N2 Monte Carlo: the Marginal Particle Filter. - Jin Tian:
Generating Markov Equivalent Maximal Ancestral Graphs by Single Edge Replacement. - Xiongfeng Ma, Feihu Xu, He Xu, Xiaoqing Tan, Bing Qi, Hoi-Kwong Lo:
Postprocessing for quantum random number generators: entropy evaluation and randomness extraction. - Vasanthan Raghavan, Aram Galstyan, Alexander G. Tartakovsky:
Hidden Markov Models for the Activity Profile of Terrorist Groups. - Marcel Ausloos:
A scientometrics law about co-authors and their ranking. The co-author core. - François Duport, Bendix Schneider, Anteo Smerieri, Marc Haelterman, Serge Massar:
All-optical Reservoir Computing. - Philipp Thomas, Hannes Matuschek, Ramon Grima:
Efficient fluctuation analysis of biochemical pathways beyond the linear noise approximation using iNA. - Christopher E. Granade, Christopher Ferrie, Nathan Wiebe, David G. Cory:
Robust Online Hamiltonian Learning. - Mathieu Leconte, Marc Lelarge, Laurent Massoulié:
Convergence of multivariate belief propagation, with applications to cuckoo hashing and load balancing. - Malgorzata Turalska, Bruce J. West, Paolo Grigolini:
Role of Committed Minorities in Times of Crisis. - Jop Briët, Harry Buhrman, Dion Gijswijt:
Violating the Shannon capacity of metric graphs with entanglement. - Franco Ruzzenenti, Francesco Picciolo, Diego Garlaschelli, Riccardo Basosi:
Space filling in the World Trade Web: measures and null models. - Sergey Melnik, Mason A. Porter, Peter J. Mucha, James P. Gleeson:
Dynamics on Modular Networks with Heterogeneous Correlations. - Meena Boppana:
Lattice Variant of the Sensitivity Conjecture. - Xueliang Li, Yaping Mao:
A survey on the generalized connectivity of graphs. - Corentin Briat, Alexandre Seuret:
A looped-functional approach for robust stability analysis of linear impulsive systems. - Edwin Girón, Alejandro César Frery, Francisco Cribari-Neto:
Nonparametric Edge Detection in Speckled Imagery. - Charles D. Brummitt, Shirshendu Chatterjee, Partha S. Dey, David Sivakoff:
Jigsaw percolation: Can a random graph solve a puzzle? - Marie Devaine, Pierre Gaillard, Yannig Goude, Gilles Stoltz:
Forecasting electricity consumption by aggregating specialized experts. - Doris Entner, Patrik O. Hoyer:
Estimating a Causal Order among Groups of Variables in Linear Models. - Paul Bogdan, Thomas Sauerwald, Alexandre Stauffer, He Sun:
Balls into Bins via Local Search. - Sayedmohammadreza Vaghefinezhad, Kuan Yew Wong:
A Genetic Algorithm Approach for Solving a Flexible Job Shop Scheduling Problem. - Sven Banisch, Tanya Araújo:
Who Replaces Whom? Local versus Non-local Replacement in Social and Evolutionary Dynamics. - Roberto Capuzzo-Dolcetta, Mario Spera, Davide Punzo:
A fully parallel, high precision, N-body code running on hybrid computing platforms. - Renato J. Cintra, Abraao D. C. Nascimento, Alejandro César Frery:
Parametric and Nonparametric Tests for Speckled Imagery. - David P. Wipf, Yi Wu:
Dual-Space Analysis of the Sparse Linear Model. - Daniel C. Jones, Walter L. Ruzzo, Xinxia Peng, Michael G. Katze:
Compression of next-generation sequencing reads aided by highly efficient de novo assembly. - David P. Wipf:
Non-Convex Rank Minimization via an Empirical Bayesian Approach. - Anil Aswani, Claire J. Tomlin:
Incentive Design for Efficient Building Quality of Service. - Naoki Masuda:
Evolution of cooperation driven by zealots. - Alberto Antonioni, Marco Tomassini:
Cooperation on Social Networks and Its Robustness. - Alberto Antonioni, Marco Tomassini:
Degree Correlations in Random Geometric Graphs. - Jeff Clune, Jean-Baptiste Mouret, Hod Lipson:
The evolutionary origins of modularity. - Sergio Gómez, Albert Díaz-Guilera, Jesús Gómez-Gardeñes, Conrado J. Pérez Vicente, Yamir Moreno, Alex Arenas:
Diffusion dynamics on multiplex networks. - Alexander Gutfraind, Milan Bradonjic, Tim Novikoff:
Optimal recovery of damaged infrastructure network. - Li-Xin Zhong, Wen-Juan Xu, Yong-Dong Shi, Tian Qiu:
Coupled dynamics of mobility and pattern formation in optional public goods games. - Kamalika Chaudhuri, Anand D. Sarwate, Kaushik Sinha:
Near-Optimal Algorithms for Differentially-Private Principal Components. - Ignacio Cascudo Pueyo, Ronald Cramer, Chaoping Xing:
Torsion Limits and Riemann-Roch Systems for Function Fields and Applications. - Marc Peter Deisenroth, Shakir Mohamed:
Expectation Propagation in Gaussian Process Dynamical Systems. - Abraao D. C. Nascimento, Renato J. Cintra, Alejandro César Frery:
Hypothesis Testing in Speckled Data with Stochastic Distances. - Gonzalo Travieso, Carlos A. Ruggiero, Odemir Martinez Bruno, Luciano da Fontoura Costa:
Predicting Efficiency in master-slave grid computing systems. - Vladimir S. Lerner:
Hidden stochastic, quantum and dynamic information of Markov diffusion process and its evaluation by an entropy integral measure under the impulse controls actions, applied to information observer. - Eric B. Laber, Daniel J. Lizotte, Bradley Ferguson:
Set-valued dynamic treatment regimes for competing outcomes. - (Withdrawn) Escape and Evasion on Finite Graphs.
- Stuart Semple, Minna J. Hsu, Govindasamy Agoramoorthy, Ramon Ferrer-i-Cancho:
The law of brevity in macaque vocal communication is not an artifact of analyzing mean call durations. - Farhad Farokhi, Iman Shames, Karl Henrik Johansson:
Distributed MPC Via Dual Decomposition and Alternative Direction Method of Multipliers. - Frank Ball, Tom Britton, David Sirl:
A network with tunable clustering, degree correlation and degree distribution, and an epidemic thereon. - Vadim E. Zverovich, Erel Avineri:
Braess' Paradox in a Generalised Traffic Network. - Eric Werner:
The Origin, Evolution and Development of Bilateral Symmetry in Multicellular Organisms. - Ligia Chira Cremene, D. Dumitrescu:
Emergence of Techno-Social Norms in Cognitive Radio Environments. - Jinyu Huang:
Eradicating Computer Viruses on Networks. - Christian Y. Cardall, Reuben D. Budiardja, Eirik Endeve, Anthony Mezzacappa:
GenASiS: General Astrophysical Simulation System. I. Fundamentals. - Naiyang Guan, Dacheng Tao, Zhigang Luo, John Shawe-Taylor:
MahNMF: Manhattan Non-negative Matrix Factorization. - Riccardo Mannella, Paolo Rossi:
On the time dependence of the $h$-index. - Michael S. Payne, David R. Wood:
Progress on Dirac's Conjecture. - János Barát, Vida Dujmovic, Gwenaël Joret, Michael S. Payne, Ludmila Scharf, Daria Schymura, Pavel Valtr, David R. Wood:
Empty pentagons in point sets with collinearities. - Frédéric Chazal, Vin de Silva, Marc Glisse, Steve Oudot:
The structure and stability of persistence modules. - Chung Shue Chen, François Baccelli:
Gibbsian Method for the Self-Optimization of Cellular Networks. - Floriana Gargiulo, José J. Ramasco:
Influence of opinion dynamics on the evolution of games. - Federico Zuiani, Massimiliano Vasile:
Preliminary Design of Debris Removal Missions by Means of Simplified Models for Low-Thrust, Many-Revolution Transfers. - Alexander Lange, Stanislaw P. Radziszowski, Xiaodong Xu:
Use of MAX-CUT for Ramsey Arrowing of Triangles. - Steve Hanneke, Liu Yang:
Surrogate Losses in Passive and Active Learning. - Frédéric Chazal, Vin de Silva, Steve Oudot:
Persistence stability for geometric complexes. - Salman Beigi, Amin Gohari:
Information Theoretic Benefit of Entanglement in Classical Communication Settings. - Gerd Zschaler, Thilo Gross:
Largenet2: an object-oriented programming library for simulating large adaptive networks. - Norman Gray, Tobia D. Carozzi, Graham Woan:
Managing Research Data in Big Science. - (Withdrawn) Ensemble Clustering with Logic Rules.
- Dorje C. Brody, Lane P. Hughston, Xun Yang:
Signal processing with Levy information. - Juan Gerardo Alcázar, Carlos Hermoso:
Detecting Symmetries of Rational Plane Curves. - Sebastien Roch:
An analytical comparison of coalescent-based multilocus methods: The three-taxon case. - Mathias Drton, Thomas S. Richardson:
Iterative Conditional Fitting for Gaussian Ancestral Graph Models. - Gregory F. Cooper, Denver Dash, John D. Levander, Weng-Keen Wong, William R. Hogan, Michael M. Wagner:
Bayesian Biosurveillance of Disease Outbreaks. - Manabu Kuroki, Zhihong Cai:
Selection of Identifiability Criteria for Total Effects by using Path Diagrams. - Seyoung Kim, Padhraic Smyth, Stefan Luther:
Modeling Waveform Shapes with Random Eects Segmental Hidden Markov Models. - Nebojsa Jojic, Vladimir Jojic, David Heckerman:
Joint discovery of haplotype blocks and complex trait associations from SNP sequences. - Firas Hamze, Nando de Freitas:
From Fields to Trees. - Bo Thiesson, David Maxwell Chickering, David Heckerman, Christopher Meek:
ARMA Time-Series Modeling with Graphical Models. - Kalle Saari:
Lyndon factors and the Fibonacci word. - Jerome Le Ny, George J. Pappas:
Differentially Private Filtering. - Péter L. Erdös, Dömötör Pálvölgyi, Claude Tardif, Gábor Tardos:
On infinite-finite tree-duality pairs of relational structures. - Balázs Keszegh, Nathan Lemons, Dömötör Pálvölgyi:
Online and quasi-online colorings of wedges and intervals. - Alekh Agarwal, Sahand N. Negahban, Martin J. Wainwright:
Stochastic optimization and sparse statistical recovery: An optimal algorithm for high dimensions. - Marco Tomassini, Sébastien Vérel, Gabriela Ochoa:
Complex-network analysis of combinatorial spaces: The NK landscape case. - Laszlo Gyongyosi, Sándor Imre:
A Quantum Copy-Protection Scheme with Authentication. - Jingwei Liu:
Protein Function Prediction Based on Kernel Logistic Regression with 2-order Graphic Neighbor Information. - Laszlo Gyongyosi, Sándor Imre:
An Improvement in Quantum Fourier Transform. - Laszlo Gyongyosi, Sándor Imre:
Information Geometric Security Analysis of Differential Phase Shift Quantum Key Distribution Protocol. - Laszlo Gyongyosi, Sándor Imre:
Algorithmic Superactivation of Asymptotic Quantum Capacity of Zero-Capacity Quantum Channels. - Laszlo Gyongyosi, Sándor Imre:
Pilot Quantum Error Correction for Global-Scale Quantum Communications. - Mirmojtaba Gharibi:
Reduction from non-injective hidden shift problem to injective hidden shift problem. - Iasson Karafyllis, Miroslav Krstic:
Delay-Robustness of Linear Predictor Feedback Without Restriction on Delay Rate. - Hai-Feng Zhang, Zhi-Xi Wu, Xiaoke Xu, Michael Small, Bing-Hong Wang:
The Impacts of Subsidy Policies on Vaccination Decisions in Contact Networks. - Ralph Neininger:
A refined Quicksort asymptotic. - Jerome Le Ny, George J. Pappas:
Differentially Private Kalman Filtering. - Victorin Martin, Jean-Marc Lasgouttes, Cyril Furtlehner:
Local stability of Belief Propagation algorithm with multiple fixed points. - Hai-Feng Zhang, Run-Ran Liu, Zhen Wang, Han-Xin Yang, Bing-Hong Wang:
Aspiration-induced reconnection in spatial public goods game. - Mohammad Ghebleh, Ludovít Niepel:
Locating and Identifying Codes in Circulant Networks. - Chiara Poletto, Michele Tizzoni, Vittoria Colizza:
Heterogeneous length of stay of hosts' movements and spatial epidemic spread. - Brian Eriksson:
Hierarchical Clustering using Randomly Selected Similarities. - Corentin Briat, Mustafa Khammash:
Computer control of gene expression: Robust setpoint tracking of protein mean and variance using integral feedback. - Yu Zhang, Nikolaos Gatsis, Georgios B. Giannakis:
Robust Management of Distributed Energy Resources for Microgrids with Renewables. - Aki-Hiro Sato:
Inference of Extreme Synchrony with an Entropy Measure on a Bipartite Network. - Bubacarr Bah, Jared Tanner:
Bounds of restricted isometry constants in extreme asymptotics: formulae for Gaussian matrices. - Gábor Braun, Sebastian Pokutta:
A short proof for the polyhedrality of the Chvátal--Gomory closure of a compact convex set. - Norihito Toyota:
Second Parrondo's Paradox in Scale Free Networks. - János Török, Gerardo Iñiguez, Taha Yasseri, Maxi San Miguel, Kimmo Kaski, János Kertész:
Opinions, Conflicts and Consensus: Modeling Social Dynamics in a Collaborative Environment. - Nicholas J. McCullen, Alastair M. Rucklidge, Catherine S. E. Bale, Tim J. Foxon, William F. Gale:
Multi-parameter models of innovation diffusion on complex networks. - Mindaugas Bloznelis, Valentas Kurauskas:
Clustering function: a measure of social influence. - Basile Morcrette, Hosam M. Mahmoud:
Exactly Solvable Balanced Tenable Urns with Random Entries via the Analytic Methodology. - Tatjana Lange, Karl Mosler, Pavlo Mozharovskyi:
Fast nonparametric classification based on data depth. - Emanuel A. Lazar, Jeremy K. Mason, Robert D. MacPherson, David J. Srolovitz:
Complete topology of cells, grains, and bubbles in three-dimensional microstructures. - Raphaël M. Jungers, Alessandro D'Innocenzo, Maria Domenica Di Benedetto:
Feedback stabilization of dynamical systems with switched delays. - Raphaël M. Jungers, Nicola Guglielmi, Antonio Cicone:
Lifted polytope methods for stability analysis of switching systems. - Jonas Peters, Dominik Janzing, Bernhard Schölkopf:
Causal Inference on Time Series using Structural Equation Models. - David Fernández-Duque:
Non-finite axiomatizability of Dynamic Topological Logic. - Jakub Kozik, Piotr Micek:
Nonrepetitive choice number of trees. - Himanshu Asnani, Dinesh Bharadia, Mainak Chowdhury, Idoia Ochoa, Itai Sharon, Tsachy Weissman:
Lossy Compression of Quality Values via Rate Distortion Theory. - Li Ma, X. Y. Wang:
Schrodinger equation and wave equation on finite graphs. - Alex Kindler, Sorin Solomon, Dietrich Stauffer:
Peer-to-Peer and Mass Communication Effect on Revolution Dynamics. - Andre C. R. Martins:
Modelling Epistemic Systems. - Vladimir S. Lerner:
Hidden information and regularities of information dynamics I. - Chuang Liu, Zi-Ke Zhang:
Information spreading on dynamic social networks. - Archontia C. Giannopoulou, Marcin Kaminski, Dimitrios M. Thilikos:
Forbidding Kuratowski Graphs as Immersions. - Daniele Vilone, José J. Ramasco, Ángel Sánchez, Maxi San Miguel:
Social and strategic imitation: the way to consensus. - Aasa Feragen, Pechin Lo, Marleen de Bruijne, Mads Nielsen, François Lauze:
Towards a theory of statistical tree-shape analysis. - Antoine Lefebvre, Gary P. Scavone, Jean Kergomard:
External Tonehole Interactions in Woodwind Instruments. - Mark McCann, Nicholas Pippenger:
Fault Tolerance in Cellular Automata at Low Fault Rates. - Mitsuhiro Nakamura, Naoki Masuda:
Groupwise information sharing promotes ingroup favoritism in indirect reciprocity. - Gérôme Beyries, Frédéric Rodriguez:
Technical Report: CSVM format for scientific tabular data. - Andrea Guazzini, Daniele Vilone, Franco Bagnoli, Timoteo Carletti, Rosapia Lauro Grotto:
Cognitive network structure: an experimental study. - Michele Starnini, Andrea Baronchelli, Romualdo Pastor-Satorras:
Ordering dynamics of the multi-state voter model. - Matteo Parsani, David I. Ketcheson, W. Deconinck:
Optimized explicit Runge-Kutta schemes for the spectral difference method applied to wave propagation problems. - Babak Fotouhi, Michael G. Rabbat:
Growing a Network on a Given Substrate. - Babak Fotouhi, Michael G. Rabbat:
Migration in a Small World: A Network Approach to Modeling Immigration Processes. - Jean Mairesse, Irène Marcovici:
Probabilistic cellular automata and random fields with i.i.d. directions. - Dino Sejdinovic, Bharath K. Sriperumbudur, Arthur Gretton, Kenji Fukumizu:
Equivalence of distance-based and RKHS-based statistics in hypothesis testing. - Alex Kulesza, Ben Taskar:
Determinantal point processes for machine learning. - Spencer Backman:
A Bijection Between the Recurrent Configurations of a Hereditary Chip-Firing Model and Spanning Trees. - Dietrich Stauffer:
A Biased Review of Sociophysics. - Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems. - Oliver Dürr, Arnd Brandenburg:
Using Community Structure for Complex Network Layout. - Yuejie Chi, Yonina C. Eldar, A. Robert Calderbank:
PETRELS: Parallel Estimation and Tracking of Subspace by Recursive Least Squares from Partial Observations. - David Lawlor, Yang Wang, Andrew J. Christlieb:
Adaptive sub-linear Fourier algorithms. - Marco Bardoscia, Giancarlo De Luca, Giacomo Livan, Matteo Marsili, Claudio J. Tessone:
The Social Climbing Game. - Braxton Osting, Christoph Brune, Stanley J. Osher:
Optimal Data Collection for Improved Rankings Expose Well-Connected Graphs. - Saikat Guha, Jeffrey H. Shapiro:
Capacity of optical reading, Part 1: Reading boundless error-free bits using a single photon. - Peter Bubenik:
Statistical topology using persistence landscapes. - Henry Cohn, Christopher Umans:
Fast matrix multiplication using coherent configurations. - Vladimir S. Lerner:
Hidden information and regularities of information dynamics II. - Jean Michel D. Sellier:
Archimedes, the Free Monte Carlo simulator. - Vincent A. Traag, Paul Van Dooren, Patrick De Leenheer:
Dynamical Models Explaining Social Balance and Evolution of Cooperation. - Yue Zhao, Andrea Goldsmith, H. Vincent Poor:
On PMU Location Selection for Line Outage Detection in Wide-area Transmission Networks. - Paul Pham, Krysta M. Svore:
A 2D Nearest-Neighbor Quantum Architecture for Factoring. - Riccardo Di Clemente, Luciano Pietronero:
Statistical Agent Based Modelization of the Phenomenon of Drug Abuse. - Yukio Hayashi:
Adaptive Fractal-like Network Structure for Efficient Search of Inhomogeneously Distributed Targets at Unknown Positions. - Sasikanth Manipatruni, Michal Lipson, Ian A. Young:
Device Considerations for Nanophotonic CMOS Global Interconnects. - Junhao Peng, Guoai Xu:
Tutte polynomial of pseudofractal scale-free web. - Ella Gale, Ben de Lacy Costello, Andrew Adamatzky:
Filamentary Extension of the Mem-Con theory of Memristance and its Application to Titanium Dioxide Sol-Gel Memristors. - Ella Gale, Ben de Lacy Costello, Andrew Adamatzky:
The Effect of Electrode Size on Memristor Properties: An Experimental and Theoretical Study. - Jürn Laun:
Efficient algorithms for highly compressed data: The Word Problem in Generalized Higman Groups is in P. - Alex Schreiber:
The probability of finding a fixed pattern in random data depends monotonically on the bifix indicator. - David Lancaster:
Random Walks between Leaves of Random Networks. - Gunnar Brinkmann, Jan Goedgebeur, Brendan D. McKay:
The Generation of Fullerenes. - Steven Kelk, Céline Scornavacca:
Towards the fixed parameter tractability of constructing minimal phylogenetic networks from arbitrary sets of nonbinary trees. - Xinhua Mao, Daiyin Zhu, Zhaoda Zhu:
Autofocus Correction of Azimuth Phase Error and Residual Range Cell Migration in Spotlight SAR Polar Format Imagery. - Babak Fotouhi, Michael G. Rabbat:
Dynamics of Infuence on Hierarchical Structures: Towards the Statistical Mechanics of Social Class Struggle. - Sébastien Giguère, Mario Marchand, François Laviolette, Alexandre Drouin, Jacques Corbeil:
Learning a peptide-protein binding affinity predictor with kernel ridge regression. - Anna Chmiel, Janusz A. Holyst:
Dynamical phase transition due to preferential cluster growth of collective emotions in online communities. - Sindhu Chitikela:
Noise Analysis for two Quantum Cryptography Protocols. - Mohsen Bayati, Marc Lelarge, Andrea Montanari:
Universality in Polytope Phase Transitions and Message Passing Algorithms. - Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray, Holger Paul Keeler:
Using Poisson processes to model lattice cellular networks. - Andreas Weinmann, Martin Storath, Laurent Demaret:
The L1-Potts functional for robust jump-sparse reconstruction. - Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim, Brahim Hnich:
Confidence-based Optimization for the Newsvendor Problem. - Cyril Banderier, Hsien-Kuei Hwang, Vlady Ravelomanana, Vytas Zacharovas:
Analysis of an exhaustive search algorithm in random graphs and the nc log n-asymptotics.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-30 00:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
