default search action
CoRR, February 2013
- Heather S. Hussain, Megumi Matsutani, Anuradha M. Annaswamy, Eugene Lavretsky:
Adaptive Control of Scalar Plants in the Presence of Unmodeled Dynamics. - Rana Ali Amjad, Georg Böcherer:
Fixed-to-Variable Length Distribution Matching. - Javier de la Cruz:
On extremal self-dual codes of length 120. - Shun Watanabe, Shigeaki Kuzuoka:
Universal Wyner-Ziv Coding for Distortion Constrained General Side-Information. - Eric Graves, Tan F. Wong:
A coding approach to guarantee information integrity against a Byzantine relay. - Ilan Adler, Sushil Verma:
A direct reduction of PPAD Lemke-verified linear complementarity problems to bimatrix games. - Shoshana Marcus, Dina Sokol:
Dynamic 2D Dictionary Matching in Small Space. - Zai Yang, Cishen Zhang, Lihua Xie:
Sparse MRI for motion correction. - Yury Polyanskiy, Yihong Wu:
Peak-to-average power ratio of good codes for Gaussian channel. - Florin Rusu, Yu Cheng:
A Survey on Array Storage, Query Languages, and Systems. - Nicos Angelopoulos, Roberto Bagnara:
Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems. - Dan Stowell, Elaine Chew:
Maximum a posteriori estimation of piecewise arcs in tempo time-series. - Pan Zhang, Florent Krzakala, Marc Mézard, Lenka Zdeborová:
Non-adaptive pooling strategies for detection of rare faulty items. - Ming-Hung Chen, Shi-Chen Wang, Cheng-Fu Chou:
Deadline is not Enough: How to Achieve Importance-aware Server-centric Data Centers via a Cross Layer Approach. - Xin Yin, Zhao Song, Karin S. Dorman, Aditya Ramamoorthy:
PREMIER - PRobabilistic Error-correction using Markov Inference in Errored Reads. - Jie Hou, Gerhard Kramer:
Informational Divergence Approximations to Product Distributions. - Dimiter Dobrev:
Comparison between the two definitions of AI. - Stefano Riverso, Marcello Farina, Giancarlo Ferrari-Trecate:
Plug-and-Play Decentralized Model Predictive Control. - Lin Wang, Antonio Fernández Anta, Fa Zhang, Chenying Hou, Zhiyong Liu:
Routing for Energy Minimization with Discrete Cost Functions. - Ceyhun Eksin, Pooya Molavi, Alejandro Ribeiro, Ali Jadbabaie:
Bayesian Quadratic Network Game Filters. - Mohsen Ghaffari, Bernhard Haeupler, Majid Khabbazian:
A Bound on the Throughput of Radio Networks. - Hessam Mahdavifar, Mostafa El-Khamy, Jungwon Lee, Inyup Kang:
Compound Polar Codes. - Rayed AlGhamdi, Anne Nguyen, Vicki Jones:
A Study of Influential Factors in the Adoption and Diffusion of B2C E-Commerce. - Prahladh Harsha, Rahul Jain:
A strong direct product theorem for the tribes function via the smooth-rectangle bound. - Navid Naderializadeh, Amir Salman Avestimehr:
Interference Networks with No CSIT: Impact of Topology. - Vida Dujmovic:
Graph Layouts via Layered Separators. - Peter Bailis, Alan D. Fekete, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica:
HAT, not CAP: Highly Available Transactions. - Rong Jin, Tianbao Yang, Mehrdad Mahdavi:
Sparse Multiple Kernel Learning with Geometric Convergence Rate. - Valeria V. Krzhizhanovskaya, Natalia B. Melnikova, A. M. Chirkin, Sergey V. Ivanov, Alexander Boukhanovsky, Peter M. A. Sloot:
Distributed simulation of city inundation by coupled surface and subsurface porous flow for urban flood decision support system. - Xingqin Lin, Harish Viswanathan:
Dynamic Spectrum Refarming with Overlay for Legacy Devices. - Jin Tan, Dror Baron:
Signal reconstruction in linear mixing systems with different error metrics. - Muzhou Hou, Moon Ho Lee:
A New Constructive Method to Optimize Neural Network Architecture and Generalization. - Evan Archer, Il Memming Park, Jonathan W. Pillow:
Bayesian Entropy Estimation for Countable Discrete Distributions. - Daniel J. Buehrer, Chee-Hwa Lee:
Class Algebra for Ontology Reasoning. - Leon Andretti Abdillah:
Perancangan basisdata sistem informasi penggajian. - Leon Andretti Abdillah, Emigawaty:
Analisis laporan tugas akhir mahasiswa Diploma I dari sudut pandang kaidah ilmiah dan penggunaan teknologi informasi. - Roohallah Rastaghi:
An Efficient CCA2-Secure Variant of the McEliece Cryptosystem in the Standard Model. - Gaurav Saxena, Ruchi Narula, Manish Mishra:
New Dimension Value Introduction for In-Memory What-If Analysis. - Sylvain Koos, Antoine Cully, Jean-Baptiste Mouret:
Fast Damage Recovery in Robotics with the T-Resilience Algorithm. - Xiaogang Liu, Yuan Luo:
The weight distributions of some cyclic codes with three or four nonzeros over F3. - Purushottam Kar:
Generalization Guarantees for a Binary Classification Framework for Two-Stage Multiple Kernel Learning. - Catarina Moreira, Pável Calado, Bruno Martins:
Learning to Rank for Expert Search in Digital Libraries of Academic Publications. - Tom Gur, Ran Raz:
Arthur-Merlin Streaming Complexity. - Francisco M. Couto, Daniel Faria, Bruno Tavares, Pedro Gonçalves, Paulo Veríssimo:
Benchmarking some Portuguese S&T system research units. - Lei Wang, Rodrigo C. de Lamare:
Set-Membership Constrained Conjugate Gradient Beamforming Algorithms. - Yu Zhang, James Z. Wang, Jia Li:
Parallel D2-Clustering: Large-Scale Clustering of Discrete Distributions. - Paul Shearer, Anna C. Gilbert, Alfred O. Hero III:
Correcting Camera Shake by Incremental Sparse Approximation. - Mingli Song, Dacheng Tao, Stephen J. Maybank:
Sparse Camera Network for Visual Surveillance -- A Comprehensive Survey. - Mohammad-Reza Sadeghi, Amin Sakzad:
On the performance of 1-level LDPC lattices. - Karthik S. Gurumoorthy:
On the dynamic compressibility of sets. - Emanuele Rodaro, Öznur Yeldan:
A multi-lane traffic simulation model via continuous cellular automata. - Siddhartha Satpathi, Rajib Lochan Das, Mrityunjoy Chakraborty:
Improved Bounds on RIP for Generalized Orthogonal Matching Pursuit. - Binjie Qin, Zhuangming Shen, Zien Zhou, Jiawei Zhou, Jiuai Sun, Hui Zhang, Mingxing Hu, Yisong Lv:
Local Structure Matching Driven by Local Joint-Saliency-Structure Adaptive Kernel Regression. - Ian P. Mulholland, Mark F. Flanagan, Enrico Paolini:
Minimum Distance Distribution of Irregular Generalized LDPC Code Ensembles. - Lei Wang, Rodrigo C. de Lamare:
Low-Complexity Reduced-Rank Beamforming Algorithms. - Harris V. Georgiou, Michael E. Mavroforakis:
A game-theoretic framework for classifier ensembles using weighted majority voting with local accuracy estimates. - Ben Adcock, Anders C. Hansen, Clarice Poon, Bogdan Roman:
Breaking the coherence barrier: asymptotic incoherence and asymptotic sparsity in compressed sensing. - Taolue Chen, Xiaoming Sun, Nengkun Yu:
Orbit Problem Revisited. - Zhengchun Zhou, Cunsheng Ding:
A Class of Three-Weight Cyclic Codes. - James G. Dowty:
SMML estimators for exponential families with continuous sufficient statistics. - Liang Liu, Rui Zhang, Kee-Chaing Chua:
Wireless Information and Power Transfer: A Dynamic Power Splitting Approach. - Daniel Torres-Salinas, Nicolás Robinson-García, Evaristo Jiménez-Contreras, Francisco Herrera, Emilio Delgado López-Cózar:
On the use of Biplot analysis for multivariate bibliometric and scientific indicators. - Apostolos Karadimitrakis, Aris L. Moustakas:
Large Deviation Approach to the Outage Optical MIMO Capacity. - Chun-Ho Ng, Patrick P. C. Lee:
RevDedup: A Reverse Deduplication Storage System Optimized for Reads to Latest Backups. - Ammar Almomani, Brij B. Gupta, Tat Chee Wan, Altyeb Altaher, Selvakumar Manickam:
Phishing Dynamic Evolving Neural Fuzzy Framework for Online Detection Zero-day Phishing Email. - Wei Chen, Miguel R. D. Rodrigues, Ian J. Wassell:
Projection Design For Statistical Compressive Sensing: A Tight Frame Based Approach. - Kodai Saito, Naoki Masuda:
Two types of Twitter users with equally many followers. - Anh Cat Le Ngo, Li-Minn Ang, Guoping Qiu, Kah Phooi Seng:
Multi-scale Visual Attention & Saliency Modelling with Decision Theory. - Juhoon Kim, Nikolaos Chatzis, Matthias Siebke, Anja Feldmann:
Tigers vs Lions: Towards Characterizing Solitary and Group User Behavior in MMORPG. - Ana L. Teixeira, Rui C. Santos, João Paulo Leal, Jose A. Martinho Simoes, André O. Falcão:
ThermInfo: Collecting, Retrieving, and Estimating Reliable Thermochemical Data. - Nannan Cao, Kian Hsiang Low, John M. Dolan:
Multi-Robot Informative Path Planning for Active Sensing of Environmental Phenomena: A Tale of Two Algorithms. - Conrad Lee, Pádraig Cunningham:
Benchmarking community detection methods on social media data. - Govinda M. Kamath, N. Prakash, V. Lalitha, P. Vijay Kumar, Natalia Silberstein, Ankit Singh Rawat, Onur Ozan Koyluoglu, Sriram Vishwanath:
Explicit MBR All-Symbol Locality Codes. - Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi:
Safe Schedulability of Bounded-Rate Multi-Mode Systems. - Namyoon Lee, Robert W. Heath Jr.:
Multi-Way Information Exchange Over Completely-Connected Interference Networks with a Multi-Antenna Relay. - Eva Maia, Nelma Moreira, Rogério Reis:
Incomplete Transition Complexity of Basic Operations on Finite Languages. - Georg Böcherer:
Rooted Trees with Probabilities Revisited. - Gesualdo Scutari, Francisco Facchinei, Peiran Song, Daniel P. Palomar, Jong-Shi Pang:
Decomposition by Partial Linearization: Parallel Optimization of Multi-Agent Systems. - Mathias Bürger, Claudio De Persis:
Internal models for nonlinear output agreement and optimal flow control. - Ella Gale, Oliver Matthews, Ben de Lacy Costello, Andrew Adamatzky:
Beyond Markov Chains, Towards Adaptive Memristor Network-based Music Generation. - Edith Cohen, Avinatan Hassidim, Haim Kaplan, Yishay Mansour, Danny Raz, Yoav Tzur:
Probe Scheduling for Efficient Detection of Silent Failures. - Ella Gale, Ben de Lacy Costello, Andrew Adamatzky:
Comparison of Ant-Inspired Gatherer Allocation Approaches using Memristor-Based Environmental Models. - Jinyuan Chen, Sheng Yang, Petros Elia:
On the Fundamental Feedback-vs-Performance Tradeoff over the MISO-BC with Imperfect and Delayed CSIT. - Rayed AlGhamdi, Anne Nguyen, Vicki Jones:
Wheel of B2C E-commerce Development in Saudi Arabia. - Mouhamed Abdulla, Yousef R. Shayan:
Large-Scale Fading Behavior for a Multi-Cellular Network with Uniform Spatial Distribution. - Mark Braverman, Gal Oshri:
Search using queries on indistinguishable items. - Giuseppe Enrico Santagati, Tommaso Melodia, Laura Galluccio, Sergio Palazzo:
Distributed MAC and Rate Adaptation for Ultrasonically Networked Implantable Sensors. - Simon DeDeo, Robert Hawkins, Sara Klingenstein, Tim Hitchcock:
Bootstrap Methods for the Empirical Study of Decision-Making and Information Flows in Social Systems. - Hung Q. Ngo, Dung T. Nguyen, Christopher Ré, Atri Rudra:
Towards Instance Optimal Join Algorithms for Data in Indexes. - Jaydip Sen:
Security and Privacy Issues in Wireless Mesh Networks: A Survey. - Piotr Skowron, Krzysztof Rzadca:
Non-monetary fair scheduling --- cooperative game theory approach. - Jun Muramatsu:
Channel Coding and Lossy Source Coding Using a Constrained Random Number Generator. - Zhengchun Zhou, Cunsheng Ding, Jinquan Luo, Aixian Zhang:
A Family of Five-Weight Cyclic Codes and Their Weight Enumerators. - Savinderjit Kaur, Veenu Mangat:
Improved Accuracy of PSO and DE using Normalization: an Application to Stock Price Prediction. - Sakrapee Paisitkriangkrai, Chunhua Shen, Qinfeng Shi, Anton van den Hengel:
RandomBoost: Simplified Multi-class Boosting through Randomization. - Deepali Virmani, Tanu Sharma, Ritu Sharma:
Adaptive Energy Aware Data Aggregation Tree for Wireless Sensor Networks. - Leon Andretti Abdillah:
Validasi data dengan menggunakan objek lookup pada borland delphi 7.0. - Martin Avanzini, Georg Moser:
A Combination Framework for Complexity. - Jan Rupnik, Primoz Skraba, John Shawe-Taylor, Sabrina Guettes:
A Comparison of Relaxations of Multiset Cannonical Correlation Analysis and Applications. - Rasoul Ramezanian:
A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities). - Farshad Merrikh-Bayat, Nafiseh Mirebrahimi, Farhad Bayat:
Circuit proposition for copying the value of a resistor into a memristive device supported by HSPICE simulation. - Firas Ajil Jassim:
Image Denoising Using Interquartile Range Filter with Local Averaging. - Mohsen Rezaee, Maxime Guillaud, Fredrik Lindqvist:
CSIT Sharing over Finite Capacity Backhaul for Spatial Interference Alignment. - François Santy, Geoffrey Nelissen, Joël Goossens:
Improving Mixed-Criticality System Consistency and Behavior on Multiprocessor Platforms by Means of Multi-Moded Approaches. - Georg Böcherer, Rana Ali Amjad:
Block-to-Block Distribution Matching. - Amit Daniely, Tom Helbertal:
The price of bandit information in multiclass online classification. - Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Generalizing determinization from automata to coalgebras. - Juha Kärkkäinen, Dominik Kempa, Simon J. Puglisi:
Lightweight Lempel-Ziv Parsing. - Erik Saule, Kamer Kaya, Ümit V. Çatalyürek:
Performance Evaluation of Sparse Matrix Multiplication Kernels on Intel Xeon Phi. - Nicolò Michelusi, Petar Popovski, Osvaldo Simeone, Marco Levorato, Michele Zorzi:
Cognitive Access Policies under a Primary ARQ process via Forward-Backward Interference Cancellation. - Irina Kostitsyna, Joseph S. B. Mitchell:
Local Redesigning of Airspace Sectors. - Julian Wörmann, Simon Hawe, Martin Kleinsteuber:
Analysis Based Blind Compressive Sensing. - Andrew M. Odlyzko:
Open Access, library and publisher competition, and the evolution of general commerce. - Marius Zimand:
Short lists with short programs in short time - a short proof. - Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
Design-Efficiency in Security. - Ciprian Chelba, Peng Xu, Fernando Pereira, Thomas Richardson:
Large Scale Distributed Acoustic Modeling With Back-off N-grams. - Charith Perera, Prem Prakash Jayaraman, Arkady B. Zaslavsky, Peter Christen, Dimitrios Georgakopoulos:
Dynamic Configuration of Sensors Using Mobile Sensor Hub in Internet of Things Paradigm. - William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs:
The Design and Demonstration of an Actor-Based, Application-Aware Access Control Evaluation Framework. - Joel Lehman, Kenneth O. Stanley:
Evolvability Is Inevitable: Increasing Evolvability Without the Pressure to Adapt. - Moises Homero Sanchez Lopez, Carlos Alberto Fernández y Fernández, Jorge Rafael Aguilar Cisneros:
On the need for optimization of the software development processes in short-term projects. - Kurt Ammon:
An Effective Procedure for Computing "Uncomputable" Functions. - Amir Hesam Salavati, K. Raj Kumar, Amin Shokrollahi:
A Non-Binary Associative Memory with Exponential Pattern Retrieval Capacity and Iterative Learning: Extended Results. - Emmanuel Jeandel:
Computability of the entropy of one-tape Turing Machines. - Julián Urbano, Mónica Marrero, Diego Martín, Jorge Morato:
Overview of EIREX 2012: Social Media. - Sandeep. R. Narani:
Social Secret Sharing for Resource Management in Cloud. - Michael Clear, Arthur Hughes, Hitesh Tewari:
Homomorphic Encryption with Access Policies: Characterization and New Constructions. - Shuang Cong, Fangfang Meng, Sen Kuang:
Quantum Lyapunov Control Based on the Average Value of an Imaginary Mechanical Quantity. - Jing Huang, Amitav Mukherjee, A. Lee Swindlehurst:
Secure Communication Via an Untrusted Non-Regenerative Relay in Fading Channels. - D. A. Bolotin, Stanislav V. Poslavsky:
Introduction to Redberry: the computer algebra system designed for tensor manipulation. - Thomas Baker, Sean Bechhofer, Antoine Isaac, Alistair Miles, Guus Schreiber, Ed Summers:
Key Choices in the Design of Simple Knowledge Organization System (SKOS). - T. Tony Cai, Anru Zhang:
Sharp RIP Bound for Sparse Signal and Low-Rank Matrix Recovery. - Junyu Chen, Kenneth W. Shum:
Repairing Multiple Failures in the Suh-Ramchandran Regenerating Codes. - Lele Wang, Eren Sasoglu, Bernd Bandemer, Young-Han Kim:
A Comparison of Superposition Coding Schemes. - Julien Lefèvre:
Fiedler Vectors and Elongation of Graphs: A Threshold Phenomenon on a Particular Class of Trees. - Amitav Mukherjee:
Diffusion of Cooperative Behavior in Decentralized Cognitive Radio Networks with Selfish Spectrum Sensors. - Firas Ajil Jassim, Fawzi Hasan Altaany:
Image Interpolation Using Kriging Technique for Spatial Data. - Firas Ajil Jassim:
Hybrid Image Segmentation using Discerner Cluster in FCM and Histogram Thresholding. - Firas Ajil Jassim:
Kriging Interpolation Filter to Reduce High Density Salt and Pepper Noise. - Wei Yang, Giuseppe Durisi, Tobias Koch, Yury Polyanskiy:
Quasi-Static SIMO Fading Channels at Finite Blocklength. - Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. - Yu Zhou:
Cloud Computing framework for Computer Vision Research:An Introduction. - Yuri Parzhin:
Principles of modal and vector theory of formal intelligence systems. - Raghu Anantharangachar, Srinivasan Ramani, S. Rajagopalan:
Ontology Guided Information Extraction from Unstructured Text. - Natarajan Meghanathan:
Source Code Analysis to Remove Security Vulnerabilities in Java Socket Programs: A Case Study. - Mahmood Mohassel Feghhi, Aliazam Abbasfar, Mahtab Mirmohseni:
Optimal Power and Rate Allocation in the Degraded Gaussian Relay Channel with Energy Harvesting Nodes. - Guan Gui, Wei Peng, Fumiyuki Adachi:
Adaptive Sparse Channel Estimation for Time-Variant MIMO-OFDM Systems. - Guan Gui, Wei Peng, Abolfazl Mehbodniya, Fumiyuki Adachi:
Adaptive Sparse Channel Estimation for Time-Variant MISO Communication Systems. - Hani Abdeen, Osama Shata:
Characterizing and Evaluating The Impact of Software Interface Clones. - Guan Gui, Wei Peng, Fumiyuki Adachi:
Sparse Channel Estimation for MIMO-OFDM Amplify-and-Forward Two-Way Relay Networks. - Piotr Bródka:
Key User Extraction Based on Telecommunication Data (aka. Key Users in Social Network. How to find them?). - Catarina Moreira, Ana Cristina Mendes, Luísa Coheur, Bruno Martins:
Towards the Rapid Development of a Natural Language Understanding Module. - Mike Lankamp, Raphael 'kena' Poss, Qiang Yang, Jian Fu, Muhammad Irfan Uddin, Chris R. Jesshope:
MGSim - Simulation tools for multi-core processor architectures. - Hicham Elasri, Abderrahim Sekkaki:
Semantic integration process of business components to support information system designers. - Hao Xu, Sarangapani Jagannathan:
Finite Horizon Adaptive Optimal Distributed Power Allocation for Enhanced Cognitive Radio Network in the Presence of Channel Uncertainties. - Abdesslem Layeb, Amira Boudra, Wissem Korichi, Salim Chikhi:
A new greedy randomized adaptive search procedure for multiobjective RNA structural alignment. - Andreas Brandstädt, Simone Esposito, Loana Tito Nogueira, Fábio Protti:
Clique cycle-transversals in distance-hereditary graphs. - Jamil M. Hamodi, Ravindra C. Thool:
Investigate The Performance Evaluation of IPTV over WiMAX Networks. - Lixin Shen, Bruce Wilsey Suter:
Blind One-Bit Compressive Sampling. - Christian Retoré:
Sémantique des déterminants dans un cadre richement typé. - Nikolaos Nomikos, Themistoklis Charalambous, Ioannis Krikidis, Dimitrios N. Skoutas, Demosthenes Vouyioukas, Mikael Johansson:
A Buffer-aided Successive Opportunistic Relay Selection Scheme with Power Adaptation and Inter-Relay Interference Cancellation for Cooperative Diversity Systems. - Jinhong Wu, Branimir R. Vojcic, Jia Sheng:
Stopping Criteria for Iterative Decoding based on Mutual Information. - Yuan Zhang, Cihan Tepedelenlioglu:
Analytical and Numerical Characterizations of Shannon Ordering for Discrete Memoryless Channels. - Hongjian Sun, Arumugam Nallanathan, Jing Jiang, Cheng-Xiang Wang:
Multi-rate Sub-Nyquist Spectrum Sensing in Cognitive Radios. - Abhishek Chanda, Cédric Westphal:
ContentFlow: Mapping Content to Flows in Software Defined Networks. - Vaignana Spoorthy Ella:
Generating target probability sequences and events. - Hosein Shafiei, Ahmad Khonsari, H. Derakhshi, Payam Mousavi:
Rate-Privacy in Wireless Sensor Networks. - Ryunosuke Ohashi, Kenta Kasai, Keigo Takeuchi:
Multi-Dimensional Spatially-Coupled Codes. - Kosuke Sakata, Kenta Kasai, Kohichi Sakaniwa:
Spatially-Coupled Precoded Rateless Codes. - Koji Tazoe, Kenta Kasai, Kohichi Sakaniwa:
Efficient Termination of Spatially-Coupled Codes. - Ankur Moitra, Michael E. Saks:
A Polynomial Time Algorithm for Lossy Population Recovery. - Eric Bauer, Daphne Koller, Yoram Singer:
Update Rules for Parameter Estimation in Bayesian Networks. - Ami Berler, Solomon Eyal Shimony:
Bayes Networks for Sonar Sensor Fusion. - John Bigham:
Exploiting Uncertain and Temporal Information in Correlation. - Craig Boutilier:
Correlated Action Effects in Decision Theoretic Regression. - Alex G. Büchner, Werner Dubitzky, Alfons Schuster, Philippe Lopes, Peter G. O'Donoghue, John G. Hughes, David A. Bell, Kenny Adamson, John A. White, John M. C. C. Anderson, Maurice D. Mulvenna:
Corporate Evidential Decision Making in Performance Prediction Domains. - Luis M. de Campos, Juan F. Huete:
Algorithms for Learning Decomposable Models and Chordal Graphs. - Anthony R. Cassandra, Michael L. Littman, Nevin Lianwen Zhang:
Incremental Pruning: A Simple, Fast, Exact Method for Partially Observable Markov Decision Processes. - Urszula Chajewska, Joseph Y. Halpern:
Defining Explanation in Probabilistic Systems. - Adrian Y. W. Cheuk, Craig Boutilier:
Structured Arc Reversal and Simulation of Dynamic Probabilistic Networks. - David Maxwell Chickering, David Heckerman, Christopher Meek:
A Bayesian Approach to Learning Bayesian Networks with Local Structure. - Tongsheng Chu, Yang Xiang:
Exploring Parallelism in Learning Belief Networks. - Matthew S. Collins, Jonathan J. Oliver:
Efficient Induction of Finite State Automata. - Fábio Gagliardi Cozman:
Robustness Analysis of Bayesian Networks with Local Convex Sets of Distributions. - Adnan Darwiche, Gregory M. Provan:
A Standard Approach for Optimizing Belief Network Inference using Query DAGs. - Thomas L. Dean, Robert Givan, Sonia M. Leach:
Model Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision Processes. - Rina Dechter, Irina Rish:
A Scheme for Approximating Probabilistic Inference. - Søren L. Dittmer, Finn Verner Jensen:
Myopic Value of Information in Influence Diagrams. - Jens Doerpmund:
Limitations of Skeptical Default Reasoning. - Didier Dubois, Hélène Fargier, Henri Prade:
Decision-making Under Ordinal Preferences and Comparative Uncertainty. - Nir Friedman, Moisés Goldszmidt:
Sequential Update of Bayesian Network Structure. - Nir Friedman, Stuart Russell:
Image Segmentation in Video Sequences: A Probabilistic Approach. - Judy Goldsmith, Michael L. Littman, Martin Mundhenk:
The Complexity of Plan Existence and Evaluation in Probabilistic Domains. - Carla P. Gomes, Bart Selman:
Algorithm Portfolio Design: Theory vs. Practice. - Russell Greiner, Adam J. Grove, Dale Schuurmans:
Learning Bayesian Nets that Perform Well. - Adam J. Grove, Joseph Y. Halpern:
Probability Update: Conditioning vs. Cross-Entropy. - Vu A. Ha, Peter Haddawy:
Problem-Focused Incremental Elicitation of Multi-Attribute Utility Models. - David Heckerman, Christopher Meek:
Models and Selection Criteria for Regression and Classification. - Luis D. Hernández, Serafín Moral:
Inference with Idempotent Valuations. - Eric Horvitz, Jed Lengyel:
Perception, Attention, and Resources: A Decision-Theoretic Approach to Graphics Rendering. - Eric Horvitz, Adam Seiver:
Time-Critical Reasoning: Representations and Application. - Jun Hu, Yang Xiang:
Learning Belief Networks in Domains with Recursively Embedded Pseudo Independent Submodels. - Manfred Jaeger:
Relational Bayesian Networks. - Radim Jirousek:
Composition of Probability Measures on Finite Spaces. - Michael J. Kearns, Yishay Mansour, Andrew Y. Ng:
An Information-Theoretic Analysis of Hard and Soft Assignment Methods for Clustering. - Uffe Kjærulff:
Nested Junction Trees. - Daphne Koller, Avi Pfeffer:
Object-Oriented Bayesian Networks. - Alexander V. Kozlov, Daphne Koller:
Nonuniform Dynamic Discretization in Hybrid Networks. - Henry E. Kyburg Jr.:
Probabilistic Acceptance. - Kathryn Blackmond Laskey, Suzanne M. Mahoney:
Network Fragments: Representing Knowledge for Constructing Probabilistic Models. - Yan Lin, Marek J. Druzdzel:
Computational Advantages of Relevance Reasoning in Bayesian Belief Networks. - Maite López-Sánchez, Ramón López de Mántaras, Carles Sierra:
Incremental Map Generation by Low Cost Robots Based on Possibility/Necessity Grids. - Todd Michael Mansell:
A Target Classification Decision Aid. - Christopher Meek, David Heckerman:
Structure and Parameter Learning for Causal Independence and Causal Interaction Models. - Paul-André Monney:
Support and Plausibility Degrees in Generalized Functional Models. - Scott B. Morris, Doug Cork, Richard E. Neapolitan:
The Cognitive Processing of Causal Knowledge. - David M. Pennock, Michael P. Wellman:
Representing Aggregate Belief through the Competitive Equilibrium of a Securities Market. - Marco Ramoni, Paola Sebastiani:
Learning Bayesian Networks from Incomplete Databases. - Solomon Eyal Shimony, Carmel Domshlak, Eugene Santos Jr.:
Cost-Sharing in Bayesian Knowledge Bases. - Yoav Shoham:
Conditional Utility, Utility Independence, and Utility Networks. - Choh Man Teng:
Sequential Thresholds: Context Sensitive Default Extensions. - Moshe Tennenholtz:
On Stable Multi-Agent Behavior in Face of Uncertainty. - Ian E. Thomas, Ingrid Zukerman, Jonathan J. Oliver, David W. Albrecht, Bhavani Raskutti:
Lexical Access for Speech Understanding using Minimum Message Length Encoding. - Nevin Lianwen Zhang, Wenju Liu:
Region-Based Approximations for Planning in Stochastic Domains. - Nevin Lianwen Zhang, Li Yan:
Independence of Causal Influence and Clique Tree Propagation. - Nevin Lianwen Zhang, Weihong Zhang:
Fast Value Iteration for Goal-Directed Markov Decision Processes. - Charng-Da Lu:
Automatically Mining Program Build Information via Signature Matching. - (Withdrawn) Required Base Station Density in Coordinated Multi-Point Uplink with Rate Constraints.
- Onur Yilmaz:
Tag-based Semantic Website Recommendation for Turkish Language. - Fatemeh Arbabjolfaei, Bernd Bandemer, Young-Han Kim, Eren Sasoglu, Lele Wang:
On the Capacity Region for Index Coding. - Fei Yang, Hong Jiang, Zuowei Shen, Wei Deng, Dimitris N. Metaxas:
Adaptive low rank and sparse decomposition of video using compressive sensing. - Hanane Froud, Abdelmounim Lachkar, Saîd El Alaoui Ouatik:
Arabic text summarization based on latent semantic analysis to enhance arabic documents clustering. - Delaram Kahrobaei, Charalambos Koupparis, Vladimir Shpilrain:
Public Key Exchange Using Matrices Over Group Rings. - H. K. Jnanamurthy:
Discovery of Maximal Frequent Item Sets using Subset Creation. - Hussein A. Mohammed, Adnan Hussein Ali, Hawraa Jassim Mohammed:
The Affects of Different Queuing Algorithms within the Router on QoS VoIP application Using OPNET. - Rommel M. Anacan, James Greggory Alcayde, Retchel Antegra, Leah Luna:
Eye-GUIDE (Eye-Gaze User Interface Design) Messaging for Physically-Impaired People. - Joongheon Kim, Yafei Tian, Stefan Mangold, Andreas F. Molisch:
Joint Scalable Coding and Routing for 60 GHz Real-Time Live HD Video Streaming Applications. - Meriem Zerkouk, Abdallah Mhamed, Belhadri Messabih:
A user profile based access control model and architecture. - Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh:
Possible and Necessary Winner Problem in Social Polls. - Deepali Virmani, Satbir Jain:
Comparison of Proposed Data Dissemination Protocols for Sensor Networks Using J-Sim. - Jonathan Masci, Alessandro Giusti, Dan C. Ciresan, Gabriel Fricout, Jürgen Schmidhuber:
A Fast Learning Algorithm for Image Segmentation with Max-Pooling Convolutional Networks. - Luis Sanabria-Russo, Jaume Barceló, Boris Bellalta:
Fairness in Collision-Free WLANs. - Alessandro Giusti, Dan C. Ciresan, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber:
Fast Image Scanning with Deep Max-Pooling Convolutional Neural Networks. - Derek O'Callaghan, Derek Greene, Maura Conway, Joe Carthy, Pádraig Cunningham:
Uncovering the Wider Structure of Extreme Right Communities Spanning Popular Online Networks. - Mahyuddin K. M. Nasution, Maria Elfida:
Terrorist Network: Towards An Analysis. - Damien Pous:
Kleene Algebra with Tests and Coq Tools for While Programs. - Thijs Laarhoven, Benne de Weger:
Discrete Distributions in the Tardos Scheme, Revisited. - Nathan Fisher, Joël Goossens, Pradeep M. Hettiarachchi, Antonio Paolillo:
Energy Minimization for Parallel Real-Time Systems with Malleable Jobs and Homogeneous Frequencies. - Anastasios Kavoukis, Salem Aljareh:
Efficient time synchronized one-time password scheme to provide secure wake-up authentication on wireless sensor networks. - Vahid Majidnezhad, Igor Kheidorov:
An ANN-based Method for Detecting Vocal Fold Pathology. - Hongjian Sun, Arumugam Nallanathan, Cheng-Xiang Wang, Yunfei Chen:
Wideband Spectrum Sensing for Cognitive Radio Networks. - Gang Huang, Hong Jiang, Kim Matthews, Paul A. Wilford:
Lensless Compressive Sensing Imaging. - Reza Khosravi-Farsani:
The Capacity Region of the Wireless Ergodic Fading Interference Channel with Partial CSIT to Within One Bit. - Reza Khosravi-Farsani:
On the Capacity Region of the Two-User Interference Channel. - Hongjian Sun, Wei-Yu Chiu, Arumugam Nallanathan:
Adaptive Compressive Spectrum Sensing for Wideband Cognitive Radios. - Hongjian Sun, Wei-Yu Chiu, Jing Jiang, Arumugam Nallanathan, H. Vincent Poor:
Wideband Spectrum Sensing with Sub-Nyquist Sampling in Cognitive Radios. - Emilio Delgado López-Cózar, Manuel Ramirez Sanchez:
H Index of History journals published in Spain according to Google Scholar Metrics (2007-2011). - Hongjian Sun, Bo Tan, Jing Jiang, John S. Thompson, Arumugam Nallanathan, H. Vincent Poor:
Relaying Technologies for Smart Grid Communications. - Dragan Vidakovic, Olivera Nikolic, Dusko Parezanovic:
Acceleration detection of large (probably) prime numbers. - Todd Davies, Mike D. Mintz:
Relational Access Control with Bivalent Permissions in a Social Web/Collaboration Architecture. - Jing Jiang, John S. Thompson, Hongjian Sun, Peter M. Grant:
Practical Analysis of Codebook Design and Frequency Offset Estimation for Virtual-MIMO Systems. - Ashish Seth, Himanshu Aggarwal, Ashim Raj Singla:
Testing and Evaluation of Service Oriented Systems. - Armin Banaei, Costas N. Georghiades:
On Randomized Sensing and Access Schemes in Wireless Ad-Hoc Cognitive Networks. - Susmit Jha, Sanjit A. Seshia:
SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction. - Shin-ichi Kuribayashi:
Improving Quality of Service and Reducing Power Consumption with WAN accelerator in Cloud Computing Environments. - Jixue Liu, Chengfei Liu, Theo Härder, Jeffrey Xu Yu:
Update XML Views. - Ron M. Roth, Pascal O. Vontobel:
Coding for Combined Block-Symbol Error Correction. - Stephen Cranefield, Surangika Ranathunga:
Embedding agents in business applications using enterprise integration patterns. - Randall J. Sobie, Ashok Agarwal, Ian Gable, C. Leavett-Brown, Michael Paterson, Ryan Paul Taylor, Andre Charbonneau, Roger Impey, Wayne Podiama:
HTC Scientific Computing in a Distributed Cloud Environment. - Hong Jiang, Wei Deng, Zuowei Shen:
Surveillance Video Processing Using Compressive Sensing. - Chengbo Li, Hong Jiang, Paul A. Wilford, Yin Zhang, Mike Scheutzow:
A new compressive video sensing framework for mobile broadcast. - Sanjoy Dasgupta, Kaushik Sinha:
Randomized partition trees for exact nearest neighbor search. - Bin Jiang:
Editorial: Making GIScience Research More Open Access. - Zheng Li, Liam O'Brien, He Zhang, Rainbow Cai:
On a Catalogue of Metrics for Evaluating Commercial Cloud Services. - Zheng Li, Liam O'Brien, Rainbow Cai, He Zhang:
Towards a Taxonomy of Performance Evaluation of Commercial Cloud Services. - Balakrishnan Senthilnayaki, K. Venkatalakshmi, Arputharaj Kannan:
A fuzzy similarity based approach for intelligent web based e-learning. - Primoz Skraba, Mikael Vejdemo-Johansson:
Persistence modules: Algebra and algorithms. - Takeshi Hatanaka, Yasuaki Wasa, Masayuki Fujita:
Cooperative Environmental Monitoring for PTZ Visual Sensor Networks: A Payoff-based Learning Approach. - Jonathan Klein, Dennis Reuling, Jan Grimm, Andreas Pfau, Damien Lefloch, Martin Lambers, Andreas Kolb:
User Interface for Volume Rendering in Virtual Reality Environments. - Yuri Shapira, Bracha Shapira, Asaf Shabtai:
Content-based data leakage detection using extended fingerprinting. - Morgan Barbier, Carlos Munuera:
Improving success probability and embedding efficiency in code based steganography. - José Hernández-Orallo:
Complexity distribution of agent policies. - Florian Seidel, Clemens Hage, Martin Kleinsteuber:
pROST : A Smoothed Lp-norm Robust Online Subspace Tracking Method for Realtime Background Subtraction in Video. - Reza Parhizkar, Yann Barbotin, Martin Vetterli:
Sequences with Minimal Time-Frequency Uncertainty. - Roohallah Rastaghi:
Cryptanalysis and Improvement of Akleylek et al.'s cryptosystem. - Andrew K. Hirsch, Michael R. Clarkson:
Belief Semantics of Authorization Logic. - Jochen Könemann, Sina Sadeghian Sadeghabad, Laura Sanità:
An LMP O(log n)-Approximation Algorithm for Node Weighted Prize Collecting Steiner Tree. - Maciej Skorski:
Modulus Computational Entropy. - Nima Noorshams, Martin J. Wainwright:
Non-Asymptotic Analysis of an Optimal Algorithm for Network-Constrained Averaging with Noisy Links. - Bohdan M. Pavlyshenko:
Data Mining of the Concept "End of the World" in Twitter Microblogs. - Edith Cohen, Graham Cormode, Nick G. Duffield, Carsten Lund:
On the Tradeoff between Stability and Fit. - Mehrdad Mahdavi, Rong Jin:
Passive Learning with Target Risk. - Kartik Venkat, Tsachy Weissman, Yair Carmon, Shlomo Shamai:
Information, Estimation, and Lookahead in the Gaussian channel. - Mingyue Ji, Giuseppe Caire, Andreas F. Molisch:
Optimal Throughput-Outage Trade-off in Wireless One-Hop Caching Networks. - Albert D. Rich, David R. Stoutemyer:
Representation, simplification and display of fractional powers of rational numbers in computer algebra. - H. Brendan McMahan:
Minimax Optimal Algorithms for Unconstrained Linear Optimization. - Bernd Bandemer, Chao Tian, Shlomo Shamai:
Gaussian State Amplification with Noisy State Observations. - Eli Haim, Yuval Kochman, Uri Erez:
The Importance of Tie-Breaking in Finite-Blocklength Bounds. - Glencora Borradaile, Philip N. Klein:
The two-edge connectivity survivable-network design problem in planar graphs. - Evan Everett, Achaleshwar Sahai, Ashutosh Sabharwal:
Passive Self-Interference Suppression for Full-Duplex Infrastructure Nodes. - Saeed Kaviani, Osvaldo Simeone, Witold A. Krzymien, Shlomo Shamai:
Linear Precoding and Equalization for Network MIMO with Partial Cooperation. - Zheng Li, Liam O'Brien, He Zhang:
Circumstantial-Evidence-Based Judgment for Software Effort Estimation. - Zheng Li, He Zhang, Liam O'Brien:
Towards Technology Independent Strategies for SOA Implementations. - Zheng Li, Jacky Keung:
Software Cost Estimation Framework for Service-Oriented Architecture Systems using Divide-and-Conquer Approach. - Zheng Li, Liam O'Brien, Jacky Keung, Xiwei Xu:
Effort-Oriented Classification Matrix of Web Service Composition. - Zheng Li, Liam O'Brien, Rainbow Cai, He Zhang:
Building an Expert System for Evaluation of Commercial Cloud Services. - Zheng Li, Liam O'Brien, He Zhang, Rainbow Cai:
A Factor Framework for Experimental Design for Performance Evaluation of Commercial Cloud Services. - Jamil M. Hamodi, Ravindra C. Thool:
Performance Evaluation of IPTV over WiMAX Networks Under Different Terrain Environments. - Swan Dubois, Rachid Guerraoui:
Introducing Speculation in Self-Stabilization - An Application to Mutual Exclusion. - Marko Horvat, Gordan Gledec, Nikola Bogunovic:
Ontology-Based Administration of Web Directories. - Marko Horvat, Anton Grbin, Gordan Gledec:
WNtags: A Web-Based Tool For Image Labeling And Retrieval With Lexical Ontologies. - Bin Yang, Walid Belkhir, Michel Lenczner:
Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework. - Sina Esfandiarpoor, Ali Pahlavan, Maziar Goudarzi:
Virtual Machine Consolidation for Datacenter Energy Improvement. - Jiping Xiong, Jian Zhao, Lei Chen:
Efficient Data Gathering in Wireless Sensor Networks Based on Matrix Completion and Compressive Sensing. - Hugues Randriam, Lin Sok, Patrick Solé:
Lower bounds on the minimum distance of long codes in the Lee metric. - Sourangsu Banerji, Rahul SinghaChowdhury:
Wi-Fi & Wi-MAX: A Comparative Study. - Jaydip Sen:
Security and Privacy Challenges in Cognitive Wireless Sensor Networks. - Mary Wootters:
On the list decodability of random linear codes with large error rate. - Gill Barequet, Sarah Cannon, Eli Fox-Epstein, Benjamin Hescott, Diane L. Souvaine, Csaba D. Tóth, Andrew Winslow:
Diffuse Reflections in Simple Polygons. - Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider:
Learning Universally Quantified Invariants of Linear Data Structures. - Houtao Deng, George C. Runger, Eugene Tuv, Vladimir Martyanov:
A Time Series Forest for Classification and Feature Extraction. - Joshua James, Pavel Gladyshev, Mohd Taufik Abdullah, Yuandong Zhu:
Analysis of Evidence Using Formal Event Reconstruction. - Pavel Sirotkin:
On Search Engine Evaluation Metrics. - Haohao Qin, Yin Sun, Tsung-Hui Chang, Xiang Chen, Chong-Yung Chi, Ming Zhao, Jing Wang:
Power Allocation and Time-Domain Artificial Noise Design for Wiretap OFDM with Discrete Inputs. - David L. Donoho, Matan Gavish, Andrea Montanari:
The Phase Transition of Matrix Recovery from Gaussian Measurements Matches the Minimax MSE of Matrix Denoising. - Rodrigo C. de Lamare:
Robust Low-Rank LCMV Beamforming Algorithms Based on Joint Iterative Optimization Strategies. - Rodrigo C. de Lamare:
Adaptive Space-Time Beamforming in Radar Systems. - Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner:
Extendability of continuous maps is undecidable. - Muhammad Zubair Shafiq, Alex X. Liu:
Modeling Morphology of Social Network Cascades. - Joshua James, Pavel Gladyshev, Yuandong Zhu:
Signature Based Detection of User Events for Post-Mortem Forensic Analysis. - Xiaofu Wu, Zhen Yang, Lu Gan:
Compressed Sensing with Incremental Sparse Measurements. - Andrei Asinowski, Jean Cardinal, Nathann Cohen, Sébastien Collette, Thomas Hackl, Michael Hoffmann, Kolja B. Knauer, Stefan Langerman, Michal Lason, Piotr Micek, Günter Rote, Torsten Ueckerdt:
Coloring Hypergraphs Induced by Dynamic Point Sets and Bottomless Rectangles. - Weijun Zeng, Xiaofu Wu, Zhen Yang:
Turbo DPSK in Bi-directional Relaying. - Mohd Mahmood Ali, Mohd S. Qaseem, Lakshmi Rajamani, A. Govardhan:
Extracting useful rules through improved decision tree induction using information entropy. - Patrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich:
RIO: Minimizing User Interaction in Debugging of Knowledge Bases. - Günther Koliander, Erwin Riegler, Giuseppe Durisi, Veniamin I. Morgenshtern, Franz Hlawatsch:
A Lower Bound on the Noncoherent Capacity Pre-log for the MIMO Channel with Temporally Correlated Fading. - Javier Parra-Arnau, David Rebollo-Monedero, Jordi Forné:
Optimal Forgery and Suppression of Ratings for Privacy Enhancement in Recommendation Systems. - Gowtham Ramani Kumar, Thomas A. Courtade:
Which Boolean Functions are Most Informative? - Tyanko Aleksiev, Simon Barkow-Oesterreicher, Peter Z. Kunszt, Sergio Maffioletti, Riccardo Murri, Christian Panse:
VM-MAD: a cloud/cluster software for service-oriented academic environments. - Nitin H. Vaidya, Vijay K. Garg:
Byzantine Vector Consensus in Complete Graphs. - Ronald Ortner, Daniil Ryabko:
Online Regret Bounds for Undiscounted Continuous Reinforcement Learning. - Marcin Mucha, Maxim Sviridenko:
No-Wait Flowshop Scheduling is as Hard as Asymmetric Traveling Salesman Problem. - Odalric-Ambrym Maillard, Rémi Munos, Daniil Ryabko:
Selecting the State-Representation in Reinforcement Learning. - Odalric-Ambrym Maillard, Phuong Nguyen, Ronald Ortner, Daniil Ryabko:
Optimal Regret Bounds for Selecting the State Representation in Reinforcement Learning. - Pierre Fraigniaud, Mika Göös, Amos Korman, Jukka Suomela:
What can be decided locally without identifiers? - Patrick Llull, Xuejun Liao, Xin Yuan, Jianbo Yang, David S. Kittle, Lawrence Carin, Guillermo Sapiro, David J. Brady:
Coded aperture compressive temporal imaging. - Oluwasanmi Koyejo, Cheng H. Lee, Joydeep Ghosh:
The trace norm constrained matrix-variate Gaussian process for multitask bipartite ranking. - Fotis Foukalas, Lazaros F. Merakos:
A Study on Spectral Efficiency of Physical Layer over Cognitive Radio. - Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur:
Reasoning About Higher-Order Relational Specifications. - Amghar Yasmina Teldja, Fizazi Hadria:
A new bio-inspired method for remote sensing imagery classification. - Marko Horvat, Gordan Gledec, Nikola Bogunovic:
Assessing Semantic Quality of Web Directory Structure. - Murali Mani, Kinnari Shah, Manikanta Gunda:
Enabling Secure Database as a Service using Fully Homomorphic Encryption: Challenges and Opportunities. - Lubica Staneková, Martin Stanek:
How to choose a PIN - assessment of dictionary methods. - Hani Abdeen, Osama Shata:
Metrics for Assessing The Design of Software Interfaces. - Yoon-Sik Cho, Aram Galstyan, P. Jeffrey Brantingham, George E. Tita:
Latent Point Process Models for Spatial-Temporal Networks. - Seth Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi:
Unifying Büchi Complementation Constructions. - Anima Anandkumar, Rong Ge, Daniel J. Hsu, Sham M. Kakade:
A Tensor Spectral Approach to Learning Mixed Membership Community Models. - Shuying Liang, Matthew Might, Thomas Gilray, David Van Horn:
Pushdown Exception-Flow Analysis of Object-Oriented Programs. - Aravind R. Iyengar, Paul H. Siegel, Jack K. Wolf:
On the Capacity of Channels with Synchronization Errors. - Yue Huang, John W. Paisley, Xianbo Chen, Xinghao Ding, Feng Huang, Xiao-Ping (Steven) Zhang:
MR Image Reconstruction from Undersampled k-Space with Bayesian Dictionary Learning. - Monika Agarwal:
Text Steganographic Approaches: A Comparison. - Taghi Javdani Gandomani, Hazura Zulzalil, Abdul Azim Abdul Ghani, Abu Bakar Md Sultan:
Effective factors in agile transformation process from change management perspective. - Taghi Javdani Gandomani, Hazura Zulzalil, Abdul Azim Abdul Ghani, Abu Bakar Md Sultan:
A Systematic Literature Review on relationship between agile methods and Open Source Software Development methodology. - Mario Pastorelli, Antonio Barbuzzi, Damiano Carra, Pietro Michiardi:
HFSP: The Hadoop Fair Sojourn Protocol. - Lee-Ad Gottlieb, Aryeh Kontorovich, Robert Krauthgamer:
Adaptive Metric Dimensionality Reduction. - Daniel Cederman, Anders Gidenstam, Phuong Hoai Ha, Håkan Sundell, Marina Papatriantafilou, Philippas Tsigas:
Lock-free Concurrent Data Structures. - Matta Rajya Lakshmi, T. Kameswara Rao, T. V. Prasad:
Exploration of Recent Advances in the Field of Brain Computer Interfaces. - Marius Bozga, Radu Iosif, Filip Konecný:
Deciding Conditional Termination. - Franz J. Király, Louis Theran:
Coherence and sufficient sampling densities for reconstruction in compressed sensing. - Itai Benjamini, Igor Shinkar, Gilad Tsur:
Acquaintance Time of a Graph. - Dariusz Dereniowski, Wieslaw Kubiak, Yori Zwols:
Minimum length path decompositions. - Dennis Komm, Rastislav Královic, Richard Královic, Tobias Mömke:
Randomized online computation with high probability guarantees. - Jorge Infante, Boris Bellalta:
Voice over IP in the WiFi Network business models: Will voice be a killer application for WiFi Public Networks? - Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell:
On the Complexity of Equivalence and Minimisation for Q-weighted Automata. - Christopher Mattern:
Linear and Geometric Mixtures - Analysis. - Florian Simatos, Niek Bouman, Sem C. Borst:
Lingering Issues in Distributed Scheduling. - Michal Cáp, Peter Novák, Jirí Vokrínek, Michal Pechoucek:
Multi-agent RRT*: Sampling-based Cooperative Pathfinding (Extended Abstract). - Sebastian Nanz, Scott West, Kaue Soares da Silveira:
Benchmarking Usability and Performance of Multicore Languages. - Christopher Mattern:
Mixing Strategies in Data Compression. - Lila Kari, Steffen Kopecki, Amirhossein Simjour:
Hypergraph Automata: A Theoretical Model for Patterned Self-assembly. - Mathis Seidl, Andreas Schenk, Clemens Stierstorfer, Johannes B. Huber:
Polar-Coded Modulaton. - Christopher Mattern:
Combining non-stationary prediction, optimization and mixing for data compression. - Randall A. Berry, Thành Nguyen, Vijay G. Subramanian:
Bargaining with Middlemen. - Mansoor I. Yousefi, Frank R. Kschischang:
Information Transmission using the Nonlinear Fourier Transform, Part III: Spectrum Modulation. - Sherif Sakr, Anna Liu, Ayman G. Fayoumi:
The Family of MapReduce and Large Scale Data Processing Systems. - Tarik Kaced:
Equivalence of Two Proof Techniques for Non-Shannon-type Inequalities. - Sergio Callegari, Federico Bizzarri:
Output Filter Aware Optimization of the Noise Shaping Properties of ΔΣ Modulators via Semi-Definite Programming. - Chih-Hua Tai, Philip S. Yu, De-Nian Yang, Ming-Syan Chen:
Structural Diversity for Resisting Community Identification in Published Social Networks. - Björn Hlava:
Yet another approach to the Maximum Flow. - Swaprava Nath, Balakrishnan Narayanaswamy:
Incentives for Information Sharing and Outcome Efforts in Networks. - Jacob Dlougach, Irina Galinskaya:
Building a reordering system using tree-to-string hierarchical model. - I-Hong Hou, Chung Shue Chen:
An Energy-Aware Protocol for Self-Organizing Heterogeneous LTE Systems. - Andrzej Jarynowski, Jaroslaw Jankowski, Anita Zbieg:
Viral spread with or without emotions in online community. - Joseph S. B. Mitchell, Valentin Polishchuk, Mikko Sysikaski:
Minimum-Link Paths Revisited. - An Zeng, Stanislao Gualdi, Matús Medo, Yi-Cheng Zhang:
Trend prediction in temporal bipartite networks: the case of Movielens, Netflix, and Digg. - Mohamed Faouzi Atig, Ahmed Rezine:
Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012. - John Fearnley, Marcin Jurdzinski:
Reachability in Two-Clock Timed Automata is PSPACE-complete. - John Fearnley, Martin Gairing, Paul W. Goldberg, Rahul Savani:
Learning Equilibria of Games via Payoff Queries. - S. Murali, Govindraj B. Chittapur, H. S. Prabhakara, Basavaraj S. Anami:
Comparision and analysis of photo image forgery detection techniques. - Jian Fang, Zongben Xu, Bingchen Zhang, Wen Hong, Yirong Wu:
Fast Compressed Sensing SAR Imaging based on Approximated Observation. - P. K. Nizar Banu, H. Hannah Inbarani:
An Analysis of Gene Expression Data using Penalized Fuzzy C-Means Approach. - Zachary Friggstad, Anupam Gupta, Mohit Singh:
An Improved Integrality Gap for Asymmetric TSP Paths. - Anirban Mukhopadhyay, Zhen Qian, Suchendra M. Bhandarkar, Tianming Liu, Sarah Rinehart, Szilard Voros:
Morphological Analusis Of The Left Ventricular Eendocardial Surface Using A Bag-Of-Features Descriptor. - Xiuli Wang:
A New Construction of Multi-receiver Authentication Codes from Pseudo-Symplectic Geometry over Finite Fields. - Paul de Kerret, David Gesbert:
CSI Sharing Strategies for Transmitter Cooperation in Wireless Networks. - Martin Lester, C.-H. Luke Ong, Max Schäfer:
Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming. - Sariel Har-Peled, Bernard Lidický:
Peeling the Grid. - Todd Davies, Brendan O'Connor, Alex Cochran, Andrew Parker:
"Groupware for Groups": Problem-Driven Design in Deme. - Chunhua Shen, Junae Kim, Fayao Liu, Lei Wang, Anton van den Hengel:
An Efficient Dual Approach to Distance Metric Learning. - Jaewook Kwak, Chul-Ho Lee, Do Young Eun:
Exploiting the Past to Reduce Delay in CSMA Scheduling: A High-order Markov Chain Approach. - Ittai Abraham, Omar Alonso, Vasilis Kandylas, Aleksandrs Slivkins:
Adaptive Crowdsourcing Algorithms for the Bandit Survey Problem. - Chunhua Shen, Guosheng Lin, Anton van den Hengel:
StructBoost: Boosting Methods for Predicting Structured Output Variables. - Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar:
Constraint-based reachability. 25-43 - Parosh Aziz Abdulla, Richard Mayr:
Petri Nets with Time and Cost. 9-24 - Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero:
On Consistency of Operational Transformation Approach. 45-59 - Lukasz Fronc:
Effective Marking Equivalence Checking in Systems with Dynamic Process Creation. 61-75 - Mrinal Kumar, Gaurav Maheshwari, Jayalal Sarma:
Arithmetic Circuit Lower Bounds via MaxRank. - Georgios Askalidis, Nicole Immorlica, Emmanouil Pountourakis:
Socially Stable Matchings. - Runhui Li, Jian Lin, Patrick P. C. Lee:
CORE: Augmenting Regenerating-Coding-Based Recovery for Single and Concurrent Failures in Distributed Storage Systems. - Johannes Fischer, Pawel Gawrychowski:
Alphabet-Dependent String Searching with Wexponential Search Trees. - Hong Van Le:
Lower bounds for the circuit size of partially homogeneous polynomials. - Loïc Paulevé, Gheorghe Craciun, Heinz Koeppl:
Dynamical Properties of Discrete Reaction Networks. - Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl:
Under-approximating Cut Sets for Reachability in Large Scale Automata Networks. - Tommi Larjomaa, Alexandru Popa:
The min-max edge q-coloring problem. - Holger Boche, Minglai Cai, Ning Cai, Christian Deppe:
Secrecy capacities of compound quantum wiretap channels and applications. - Reut Levi, Dana Ron:
A Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded Minor. - Kai Hu, Zhe Wang:
Baselining Network-Wide Traffic by Time-Frequency Constrained Stable Principal Component Pursuit. - Richard C. Wilson, Furqan Aziz, Edwin R. Hancock:
Eigenfunctions of the Edge-Based Laplacian on a Graph. - Alberto Apostolico, Péter L. Erdös, István Miklós, Johannes Siemons:
Modulated String Searching. - Abdeljalil Rachadi, Mohamed Jedra, Noureddine Zahid:
Self Avoiding Paths Routing Algorithm in Scale-Free Networks. - Dan Stowell, Saso Musevic, Jordi Bonada, Mark D. Plumbley:
Improved multiple birdsong tracking with distribution derivative method and Markov renewal process clustering. - Artur Jez:
One-variable word equations in linear time. - Marthe Bonamy, Nicolas Bousquet:
Recoloring bounded treewidth graphs. - Gérard Cécé:
Bisimulations over DLTS in O(m.log n)-time. - Thomas A. Courtade:
Outer Bounds for Multiterminal Source Coding based on Maximal Correlation. - Stefan Kratsch:
On Polynomial Kernels for Sparse Integer Linear Programs. - Stefan Kratsch:
On Polynomial Kernels for Integer Linear Programs: Covering, Packing and Feasibility. - Guy Even, Nissim Halabi:
Message-Passing Algorithms for Packing and Covering Linear Programs with Zero-One Matrices. - Jeffrey S. Buzas, Jeffrey H. Dinitz:
An analysis of NK and generalized NK landscapes. - Todd Davies, Benjamin Newman, Brendan O'Connor, Aaron Tam, Leo Perry:
Displaying Asynchronous Reactions to a Document: Two Goals and a Design. - Silvia Acid, Luis M. de Campos:
An Algorithm for Finding Minimum d-Separating Sets in Belief Networks. - John Mark Agosta:
Constraining Influence Diagram Structure by Generative Planning: An Application to the Optimization of Oil Spill Response. - Satnam Alag, Alice M. Agogino:
Inference Using Message Propagation and Topology Transformation in Vector Gaussian Continuous Networks. - Constantin F. Aliferis, Gregory F. Cooper:
A Structurally and Temporally Extended Bayesian Belief Network Model: Definitions, Properties, and Modeling Techniques. - Steen A. Andersson, David Madigan, Michael D. Perlman:
An Alternative Markov Property for Chain Graphs. - Ella M. Atkins, Edmund H. Durfee, Kang G. Shin:
Plan Development using Local Probabilistic Models. - Donald Bamber:
Entailment in Probability of Thresholded Generalizations. - Claude Barrouil, Jerome Lemaire:
Object Recognition with Imperfect Perception and Redundant Description. - Mathias Bauer:
Approximations for Decision Making in the Dempster-Shafer Theory of Evidence. - Ann Becker, Dan Geiger:
A Sufficiently Fast Algorithm for Finding Close to Optimal Junction Trees. - Salem Benferhat, Didier Dubois, Henri Prade:
Coping with the Limitations of Rational Inference in the Framework of Possibility Theory. - Blai Bonet, Hector Geffner:
Arguing for Decisions: A Qualitative Model of Decision Making. - Craig Boutilier:
Learning Conventions in Multiagent Stochastic Domains using Likelihood Estimates. - Craig Boutilier, Nir Friedman, Moisés Goldszmidt, Daphne Koller:
Context-Specific Independence in Bayesian Networks. - John S. Breese, David Heckerman:
Decision-Theoretic Troubleshooting: A Framework for Repair and Experiment. - Enrique F. Castillo, Cristina Solares, Patricia Gómez:
Tail Sensitivity Analysis in Bayesian Networks. - Tom Chávez:
Decision-Analytic Approaches to Operational Decision Making: Application and Observation. - David Maxwell Chickering:
Learning Equivalence Classes of Bayesian Networks Structures. - David Maxwell Chickering, David Heckerman:
Efficient Approximations for the Marginal Likelihood of Incomplete Data Given a Bayesian Network. - Lonnie Chrisman:
Independence with Lower and Upper Probabilities. - Lonnie Chrisman:
Propagation of 2-Monotone Lower Probabilities on an Undirected Graph. - Fábio Gagliardi Cozman, Eric Krotkov:
Quasi-Bayesian Strategies for Efficient Plan Generation: Application to the Planning to Observe Problem. - Bruce D'Ambrosio, Scott Burgess:
Some Experiments with Real-Time Decision Algorithms. - Rina Dechter:
Bucket Elimination: A Unifying Framework for Several Probabilistic Inference. - Rina Dechter:
Topological Parameters for Time-Space Tradeoff. - AnHai Doan, Peter Haddawy:
Sound Abstraction of Probabilistic Actions in The Constraint Mass Assignment Framework. - Didier Dubois, Henri Prade:
Belief Revision with Uncertain Inputs in the Possibilistic Setting. - Yousri El Fattah, Rina Dechter:
An Evaluation of Structural Parameters for Probabilistic Reasoning: Results on Benchmark Circuits. - Nir Friedman, Moisés Goldszmidt:
Learning Bayesian Networks with Local Structure. - Nir Friedman, Joseph Y. Halpern:
A Qualitative Markov Assumption and its Implications for Belief Change. - Nir Friedman, Zohar Yakhini:
On the Sample Complexity of Learning Bayesian Networks. - Dan Geiger, David Heckerman, Christopher Meek:
Asymptotic Model Selection for Directed Networks with Hidden Variables. - Vu A. Ha, Peter Haddawy:
Theoretical Foundations for Abstraction-Based Probabilistic Planning. - Max Henrion, Malcolm Pradhan, Brendan Del Favero, Kurt Huang, Gregory M. Provan, Paul O'Rorke:
Why Is Diagnosis Using Belief Networks Insensitive to Imprecision In Probabilities? - Michael C. Horsch, David L. Poole:
Flexible Policy Construction by Information Refinement. - Kurt Huang, Max Henrion:
Efficient Search-Based Inference for Noisy-OR Belief Networks: TopEpsilon. - Pablo H. Ibargüengoytia, Luis Enrique Sucar, Sunil Vadera:
A Probabilistic Model For Sensor Validation. - Tommi S. Jaakkola, Michael I. Jordan:
Computing Upper and Lower Bounds on Likelihoods in Intractable Networks. - Allan Leck Jensen, Finn Verner Jensen:
MIDAS - An Influence Diagram for Management of Mildew in Winter Wheat. - Alexander V. Kozlov, Jaswinder Pal Singh:
Computational Complexity Reduction for BN2O Networks Using Similarity of States. - Henry E. Kyburg Jr.:
Uncertain Inferences and Uncertain Conclusions. - Kathryn Blackmond Laskey, Laura Martignon:
Bayesian Learning of Loglinear Models for Neural Connectivity. - Suzanne M. Mahoney, Kathryn Blackmond Laskey:
Network Engineering for Complex Belief Networks. - Liem Ngo:
Probabilistic Disjunctive Logic Programming. - David M. Pennock, Michael P. Wellman:
Toward a Market Model for Bayesian Inference. - Mark Alan Peot:
Geometric Implications of the Naive Bayes Assumption. - Judea Pearl, Rina Dechter:
Identifying Independencies in Causal Graphs with Feedback. - Kim-Leng Poh, Eric Horvitz:
A Graph-Theoretic Analysis of Information Value. - David L. Poole:
A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility. - Malcolm Pradhan, Paul Dagum:
Optimal Monte Carlo Estimation of Belief Network Inference. - Thomas S. Richardson:
A Discovery Algorithm for Directed Cyclic Graphs. - Thomas S. Richardson:
A Polynomial-Time Algorithm for Deciding Markov Equivalence of Directed Cyclic Graphical Models. - Wilhelm Rödder, Carl-Heinz Meyer:
Coherent Knowledge Processing at Maximum Entropy by SPIRIT. - Eugene Santos Jr., Solomon Eyal Shimony, Edward Michael Williams:
Sample-and-Accumulate Algorithms for Belief Updating in Bayes Networks. - Ross D. Shachter, Marvin Mandelbaum:
A Measure of Decision Flexibility. - Prakash P. Shenoy:
Binary Join Trees. - Sampath Srinivas, P. Pandurang Nayak:
Efficient Enumeration of Instantiations in Bayesian Networks. - Milan Studený:
On Separation Criterion and Recovery Algorithm for Chain Graphs. - Choh Man Teng:
Possible World Partition Sequences: A Unifying Framework for Uncertain Reasoning. - Sylvie Thiébaux, Marie-Odile Cordier, Olivier Jehl, Jean-Paul Krivine:
Supply Restoration in Power Distribution Systems - A Case Study in Integrating Model-Based Diagnosis and Repair Planning. - Robert L. Welch:
Real Time Estimation of Bayesian Networks. - S. K. Michael Wong:
Testing Implication of Probabilistic Dependencies. - Peter R. Wurman, Michael P. Wellman:
Optimal Factory Scheduling using Stochastic Dominance A*. - Yang Xiang, S. K. Michael Wong, Nick Cercone:
Critical Remarks on Single Link Search in Learning Belief Networks. - Emrah Akyol, Kumar Viswanatha, Kenneth Rose, Tor A. Ramstad:
On Zero Delay Source-Channel Coding. - Ajit Narayanan, Yi Chen:
Bio-inspired data mining: Treating malware signatures as biosequences. - Ya. V. Bazaikin, Iskander A. Taimanov:
On a numerical algorithm for computing topological characteristics of three-dimensional bodies. - Jiun-Jie Wang, Xin He:
A Polynomial Time Algorithm for Finding Area-Universal Rectangular Layouts. - Ning Ruan, David Yang Gao:
Global Optimal Solutions to a General Sensor Network Localization Problem. - Manish K. Gupta, Anupam Agrawal, Deepak Yadav:
On Weak Dress Codes for Cloud Storage. - Lutz Bornmann, Werner Marx:
Standards for the application of bibliometrics in the evaluation of individual researchers working in the natural sciences. - Muhammad Nazeer, Nargis Bibi, Yasir Mehmood Malik, Dai-Gyoung Kim:
A Fresnelet-Based Encryption of Medical Images using Arnold Transform. - Xiumin Wang, Chau Yuen:
Partial Third-Party Information Exchange with Network Coding. - Guillaume Aupy, Anne Benoit, Rami G. Melhem, Paul Renaud-Goud, Yves Robert:
Energy-aware checkpointing of divisible tasks with soft or hard deadlines. - Joseph Charles Mellor, Jonathan Shapiro:
Thompson Sampling in Switching Environments with Bayesian Online Change Point Detection. - Johannes Georg Klotz, Martin Bossert, Steffen Schober:
Computing preimages of Boolean Networks. - Aaron Potechin:
Improved upper and lower bound techniques for monotone switching networks for directed connectivity. - Alistair Stewart, Kousha Etessami, Mihalis Yannakakis:
Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata. - Ayad Ghany Ismaeel, Emad Khadhm Jabar:
Effective System for Pregnant Women using Mobile GIS. - Guillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni:
Checkpointing algorithms and fault prediction. - Marek Cygan, Marcin Pilipczuk:
Faster exponential-time algorithms in graphs of bounded average degree. - (Withdrawn) Capacity of the State-Dependent Half-Duplex Relay Channel Without Source-Destination Link.
- Supratim Deb, Pantelis Monogioudis, Jerzy Miernik, James P. Seymour:
Algorithms for Enhanced Inter Cell Interference Coordination (eICIC) in LTE HetNets. - Elif Vural, Pascal Frossard:
Analysis of Descent-Based Image Registration. - Paul W. Goldberg, Arnoud Pastink:
On the Communication Complexity of Approximate Nash Equilibria. - Georg Zetzsche:
Silent Transitions in Automata with Storage. - Georges Kaddoum, François Gagnon, Denis Couillard:
An Enhanced Spectral Efficiency Chaos-Based Symbolic Dynamics Transceiver Design. - Alexander V. Evako:
Variable density preserving topology grids and the digital models for the plane. - Neal Patwari, Lara Brewer, Quinn Tate, Ossi Kaltiokallio, Maurizio Bocca:
Breathfinding: A Wireless Network that Monitors and Locates Breathing in a Home. - Jun Geng, Weiyu Xu, Lifeng Lai:
Quickest Search Over Multiple Sequences with Mixed Observations. - Andrea Clementi, Pierluigi Crescenzi, Carola Doerr, Pierre Fraigniaud, Marco Isopi, Alessandro Panconesi, Francesco Pasquale, Riccardo Silvestri:
Rumor Spreading in Random Evolving Graphs. - Diederik Aerts, Sandro Sozzo:
Quantum Entanglement in Concept Combinations. - Jun Geng, Lifeng Lai:
Non-Bayesian Quickest Detection with Stochastic Sample Right Constraints. - Philip M. Dames, Vijay Kumar:
Technical Report: Cooperative Multi-Target Localization With Noisy Sensors. - Marton Trencseni, Attila Gazsó:
ScalienDB: Designing and Implementing a Distributed Database using Paxos. - Luís Filipe Teófilo, Pedro Alves Nogueira, Pedro Brandão Silva:
GEMINI: A Generic Multi-Modal Natural Interface Framework for Videogames. - Elias David Niño Ruiz, Adrian Sandu, Jeffrey L. Anderson:
An Efficient Implementation of the Ensemble Kalman Filter Based on an Iterative Sherman-Morrison Formula. - Mohammad M. Karbasioun, Gennady Shaikhet, Evangelos Kranakis, Ioannis Lambadaris:
Power Strip Packing of Malleable Demands in Smart Grid. - Simon W. Funke, Patrick E. Farrell:
A framework for automated PDE-constrained optimisation. - Franz Graf, Hans-Peter Kriegel, Michael Weiler:
Robust Image Segmentation in Low Depth Of Field Images. - Laszlo B. Kish:
Enhanced secure key exchange systems based on the Johnson-noise scheme. - Janusz A. Brzozowski, Gareth Davies:
Maximal Syntactic Complexity of Regular Languages Implies Maximal Quotient Complexities of Atoms. - Todd Davies, Brendan O'Connor, Alex Cochran, Jonathan J. Effrat, Andrew Parker, Benjamin Newman, Aaron Tam:
An Online Environment for Democratic Deliberation: Motivations, Principles, and Design. - Mohamed S. Ebeida, Anjul Patney, Scott A. Mitchell, Keith R. Dalbey, Andrew A. Davidson, John D. Owens:
k-d Darts: Sampling by k-Dimensional Flat Searches. - Atul Divekar, Deanna Needell:
Using Correlated Subset Structure for Compressive Sensing Recovery. - Carlos Fernandez-Granda:
Support detection in super-resolution. - Xiaozhao Zhao, Yuexian Hou, Qian Yu, Dawei Song, Wenjie Li:
Understanding Deep Learning by Revisiting Boltzmann Machines: An Information Geometry Approach. - Tsung-Hui Chang, Mahnoosh Alizadeh, Anna Scaglione:
Real-Time Power Balancing via Decentralized Coordinated Home Energy Scheduling. - Lin Chen, Deshi Ye, Guochuan Zhang:
Approximating the optimal competitive ratio for an ancient online scheduling problem. - Raheleh Namayandeh, Farzad Didehvar, Zahra Shojaei:
Clustering validity based on the most similarity. - Hongyong Yang, Lei Guo, Xun-lin Zhu, Ke-cai Cao:
Coordination Control of Heterogeneous Compounded-Order Multi-Agent Systems with Communication Delays. - Charalambos D. Charalambous, Photios A. Stavrou:
Directed Information on Abstract Spaces: Properties and Variational Equalities. - Stéphane Le Roux:
Infinite sequential Nash equilibrium. - Harish Chintakunta, Hamid Krim:
Distributed boundary tracking using alpha and Delaunay-Cech shapes. - Valerio Capraro:
A solution concept for games with altruism and cooperation. - Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler:
Generic Strategies for Chemical Space Exploration. - Haoyu Li, Di Ma, Nitesh Saxena, Babins Shrestha, Yan Zhu:
Tap-Wave-Rub: Lightweight Malware Prevention for Smartphones Using Intuitive Human Gestures. - Andy Lewis-Pye, George Barmpalias, Richard Elwes:
Digital morphogenesis via Schelling segregation. - Gregory Kucherov, Yakov Nekrich:
Full-fledged Real-Time Indexing for Constant Size Alphabets. - Pavankumar Tallapragada, Nikhil Chopra:
Decentralized Event-Triggering for Control of Nonlinear Systems. - Hua Sun, Chunhua Geng, Syed Ali Jafar:
Topological Interference Management with Alternating Connectivity. - Jianwei Zhang, Wei Xing, Yongchao Wang, Dongming Lu:
Modeling and Performance Analysis of Pull-Based Live Streaming Schemes in Peer-to-Peer Network. - Belhassen Akrout, Imen Khanfir Kallel, Chokri Ben Amar:
A new scheme of signature extraction for iris authentication. - Tejaswi Agarwal, Mike A. Leonetti:
Design and Implementation of an IP based authentication mechanism for Open Source Proxy Servers in Interception Mode. - Jose A. García, Rosa Rodríguez-Sánchez, J. Fdez-Valdivia, Nicolás Robinson-García, Daniel Torres-Salinas:
Mapping Academic Institutions According to Their Journal Publication Profile: Spanish Universities as a Case Study. - Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak:
Distributed Deterministic Broadcasting in Uniform-Power Ad Hoc Wireless Networks. - Paul Ralph:
The Sensemaking-Coevolution-Implementation Theory of Software Design. - Vasiliy Usatyuk:
Upper bound on the cardinality containing shortest vectors in a lattice reduced by block Korkin-Zolotarev method. - Jinil Kim, Peter Eades, Rudolf Fleischer, Seok-Hee Hong, Costas S. Iliopoulos, Kunsoo Park, Simon J. Puglisi, Takeshi Tokuyama:
Order Preserving Matching. - Charng-Da Lu:
Comprehensive Resource Measurement and Analysis for HPC Systems with TACC_Stats. - Shunqiao Sun, Athina P. Petropulu, Waheed U. Bajwa:
Target Estimation in Colocated MIMO Radar via Matrix Completion. - Lei Wang, Rodrigo C. de Lamare:
Adaptive Set-Membership Reduced-Rank Least Squares Beamforming Algorithms. - Avhishek Chatterjee, Supratim Deb, Kanthi Nagaraj, Vikram Srinivasan:
Low Delay MAC Scheduling for Frequency-agile Multi-radio Wireless Networks. - Eyal En Gad, Robert Mateescu, Filip Blagojevic, Cyril Guyot, Zvonimir Bandic:
Repair-Optimal MDS Array Codes over GF(2). - Yunlong Cai, Rodrigo C. de Lamare:
Adaptive Minimum BER Reduced-Rank Interference Suppression Algorithms Based on Joint and Iterative Optimization of Parameters. - Viet Hung Nguyen, Fabio Massacci:
The (Un)Reliability of NVD Vulnerable Versions Data: an Empirical Experiment on Google Chrome Vulnerabilities. - Kun Cai, David Yang Gao, Qing-Hua Qin:
Post-buckling Solutions of Hyper-elastic Beam by Canonical Dual Finite Element Method. - Moshe Babaioff, Robert Kleinberg, Aleksandrs Slivkins:
Multi-parameter Mechanisms with Implicit Payment Computation. - Vittorio Latorre, David Yang Gao:
Canonical dual solutions to nonconvex radial basis neural network optimization problem. - Xuan Guang, Fang-Wei Fu:
Linear Network Error Correction Multicast/Broadcast/Dispersion Codes. - Xuan Guang, Fang-Wei Fu:
The Failure Probability of Random Linear Network Coding for Networks. - K. Ashwin Kumar, Amol Deshpande, Samir Khuller:
Data Placement and Replica Selection for Improving Co-location in Distributed Environments. - Nilesh A. Mohota, Sanjay L. Badjate:
Reduction in Packet Delay Through the use of Common Buffer over Distributed Buffer in the Routing Node of NOC Architecture. - Philipp Rümmer, Hossein Hojjat, Viktor Kuncak:
The Relationship between Craig Interpolation and Recursion-Free Horn Clauses. - Stefan Certic:
The Future of Mobile Security. - Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch:
Fresh-Variable Automata for Service Composition. - Ashley Montanaro:
A composition theorem for decision tree complexity. - Klaus Jansen, Kim-Manuel Klein:
A Robust AFPTAS for Online Bin Packing with Polynomial Migration. - Karl Bringmann, Benjamin Doerr, Adrian Neumann, Jakub Sliacan:
Online Checkpointing with Improved Worst-Case Guarantees. - Imran Shafique Ansari, Ferkan Yilmaz, Mohamed-Slim Alouini:
Impact of Pointing Errors on the Performance of Mixed RF/FSO Dual-Hop Transmission Systems. - Nallagarla Ramamurthy, S. Varadarajan:
The Robust Digital Image Watermarking using Quantization and Fuzzy Logic Approach in DWT Domain. - Sylvain Chevallier, Quentin Barthélemy, Jamal Atif:
Metrics for Multivariate Dictionaries. - Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin:
Looking at Mean-Payoff and Total-Payoff through Windows. - Fanny Yang, Volker Pohl, Holger Boche:
Phase Retrieval via Structured Modulations in Paley-Wiener Spaces. - Michael Lampis:
Model Checking Lower Bounds for Simple Graphs. - Christian Senger:
Re-Encoding Techniques for Interpolation-Based Decoding of Reed-Solomon Codes. - Markus Wittmann, Georg Hager, Thomas Zeiser, Gerhard Wellein:
Asynchronous MPI for the Masses. - (Withdrawn) On the Fly Self-Organized Base Station Placement.
- Sivan Sabato, Adam Kalai:
Feature Multi-Selection among Subjective Features. - Dohy Hong:
Introducing One Step Back Iterative Approach to Solve Linear and Non Linear Fixed Point Problem. - Lucas Beyer, Paolo Bientinesi:
Streaming Data from HDD to GPUs for Sustained Peak Performance. - Maxim Sviridenko, Justin Ward:
Large Neighborhood Local Search for the Maximum Set Packing Problem. - Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty:
Generalizations of the Los-Tarski Preservation Theorem. - Marc E. Maier, Katerina Marazopoulou, David D. Jensen:
Reasoning about Independence in Probabilistic Models of Relational Data. - Marc Arnela, Oriol Guasch:
Finite element computation of elliptical vocal tract impedances using the two-microphone transfer function method. - Michel Zitt, Jean-Philippe Cointet:
Citation impacts revisited: how novel impact measures reflect interdisciplinarity and structural change at the local and global level. - Nicolò Cesa-Bianchi, Ofer Dekel, Ohad Shamir:
Online Learning with Switching Costs and Other Adaptive Adversaries. - Mohammadreza Ghodsi:
Constructing a genome assembly that has the maximum likelihood. - Andrei Asinowski, Tillmann Miltzow, Günter Rote:
Quasi-Parallel Segments and Characterization of Unique Bichromatic Matchings. - Junan Zhu, Dror Baron:
Performance Regions in Compressed Sensing from Noisy Measurements. - Dominik Wojtczak:
Optimal Scheduling for Linear-Rate Multi-Mode Systems. - Folke Mitzlaff, Gerd Stumme:
Recommending Given Names. - Olivier Beaumont, Philippe Duchon, Paul Renaud-Goud:
Approximation Algorithms for Energy Minimization in Cloud Service Allocation under Reliability Constraints. - Matthew Gwynne, Oliver Kullmann:
Towards a theory of good SAT representations. - Fatemeh Rajabi-Alni:
A new algorithm for Many to Many Matching with Demands and Capacities. - Yunlong Cai, Rodrigo C. de Lamare:
Adaptive Minimum BER Reduced-Rank Linear Detection for Massive MIMO Systems. - Hooman Jarollahi, Vincent Gripon, Naoya Onizawa, Warren J. Gross:
A Low-Power Content-Addressable-Memory Based on Clustered-Sparse-Networks. - Hooman Jarollahi, Richard F. Hobson:
Dynamic Power Reduction in a Novel CMOS 5T-SRAM for Low-Power SoC. - Shurui Huang, Aditya Ramamoorthy:
On the multiple unicast capacity of 3-source, 3-terminal directed acyclic networks. - Emil Kotomin:
In Love With a Robot: the Dawn of Machine-To-Machine Marketing. - Sa Liu, Chengzhi Zhang:
Termhood-based Comparability Metrics of Comparable Corpus in Special Domain. - Chengzhi Zhang, Dan Wu:
Bilingual Terminology Extraction Using Multi-level Termhood. - Avinash Sharma, Anurag Bhatnagar, Nikhar Tak, Anuradha Sharma, Jitendra Avasthi, Prerna Sharma:
An Approach Of Substitution Method Based On ASCII Codes In Encryption Technique. - Thuy Van Nguyen, Aria Nosratinia, Dariush Divsalar:
Bilayer Protograph Codes for Half-Duplex Relay Channels. - Nguyen Quang-Hung, Pham Dac Nien, Nguyen Hoai Nam, Nguyen Huynh Tuong, Nam Thoai:
A Genetic Algorithm for Power-Aware Virtual Machine Allocation in Private Cloud. - Deeparnab Chakrabarty, C. Seshadhri:
A o(n) monotonicity tester for Boolean functions over the hypercube. - Pierre Ganty, Samir Genaim:
Proving Termination Starting from the End. - Atish Das Sarma, Danupon Nanongkai, Gopal Pandurangan, Prasad Tetali:
Distributed Random Walks. - Burkhard C. Schipper:
Preference-Based Unawareness. - Rong-Hua Li, Jeffrey Xu Yu, Xin Huang, Hong Cheng:
Random-walk domination in large graphs: problem definitions and fast solutions. - Nir Ailon, Yudong Chen, Huan Xu:
Breaking the Small Cluster Barrier of Graph Clustering. - Guillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni:
Checkpointing strategies with prediction windows. - Marcel Birn, Vitaly Osipov, Peter Sanders, Christian Schulz, Nodari Sitchinava:
Efficient Parallel and External Matching. - Ed Summers:
Linking Things on the Web: A Pragmatic Examination of Linked Data for Libraries, Archives and Museums. - László Csirmaz, Gábor Tardos:
Optimal information rate of secret sharing schemes on trees. - Dmytro V. Lande, A. A. Snarskii:
Compactified Horizontal Visibility Graph for the Language Network. - Arturs Backurs, Mohammad Bavarian:
On the sum of $L1$ influences. - Caihong Kai, Shengli Zhang:
Throughput Analysis of CSMA Wireless Networks with Finite Offered-load. - Hugo Reboredo, Francesco Renna, A. Robert Calderbank, Miguel R. D. Rodrigues:
Compressive Classification. - Chao Tian, Vaneet Aggarwal, Vinay A. Vaishampayan:
Exact-Repair Regenerating Codes Via Layered Erasure Correction and Block Designs. - Walter J. Scheirer, Michael J. Wilber, Michael Eckmann, Terrance E. Boult:
Good Recognition is Non-Metric. - Gregory E. Newstadt, Edmund G. Zelnio, Alfred O. Hero III:
Moving target inference with hierarchical Bayesian models in synthetic aperture radar imagery. - Parisa Alvandi, Changbo Chen, Marc Moreno Maza:
An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain. - Le Minh Sang Tran, Bjørnar Solhaug, Ketil Stølen:
An Approach to Select Cost-Effective Risk Countermeasures Exemplified in CORAS. - Nikolaos I. Miridakis, Dimitrios D. Vergados, Emmanouil Papadakis:
A Receiver-Centric OFCDM Approach with Subcarrier Grouping. - Nikolaos I. Miridakis, Dimitrios D. Vergados:
Performance Analysis of the Ordered V-BLAST Approach over Nakagami-m Fading Channels. - Antonio Campello, Cristiano Torezzan, Sueli I. R. Costa:
Curves on Flat Tori and Analog Source-Channel Codes. - Matias Korman, Maarten Löffler, Rodrigo I. Silveira, Darren Strash:
On the Complexity of Barrier Resilience for Fat Regions. - Shaddin Dughmi, Nicole Immorlica, Aaron Roth:
Constrained Signaling for Welfare and Revenue Maximization. - Zhenhua Yu, Robert J. Baxley, Brett T. Walkenhorst, G. Tong Zhou:
Channel Sounding Waveforms Design for Asynchronous Multiuser MIMO Systems. - Maurizio Bocca, Ossi Kaltiokallio, Neal Patwari, Suresh Venkatasubramanian:
Multiple Target Tracking with RF Sensor Networks. - Derrick Wing Kwan Ng, Ernest S. Lo, Robert Schober:
Energy-Efficient Resource Allocation in OFDMA Systems with Hybrid Energy Harvesting Base Station. - Khalil Riad Bouzidi, Bruno Fiés, Marc Bourdeau, Catherine Faron-Zucker, Nhan Le Thanh:
An Ontology for Modelling and Supporting the Process of Authoring Technical Assessments. - Liyun Dai, Bican Xia, Naijun Zhan:
Generating Non-Linear Interpolants by Semidefinite Programming. - Jeongho Jeon, Anthony Ephremides:
Channel-Aware Random Access in the Presence of Channel Estimation Errors. - Lauro Beltrão Costa, Abmar Barros, Samer Al-Kiswany, Emalayan Vairavanathan, Matei Ripeanu:
Predicting Intermediate Storage Performance for Workflow Applications. - Todd Davies, Mike D. Mintz:
Design Features for the Social Web: The Architecture of Deme. - Francesco Renna, Nicola Laurenti, Stefano Tomasin, Marco Baldi, Nicola Maturo, Marco Bianchi, Franco Chiaraluce, Matthieu R. Bloch:
Low-power Secret-key Agreement over OFDM. - Chih-Chun Chen:
A theoretical framework for conducting multi-level studies of complex social systems with agent-based models and empirical data. - Yun Li, Sirin Nitinawarat, Venugopal V. Veeravalli:
Universal Outlier Detection. - Charng-Da Lu:
Failure Data Analysis of HPC Systems. - Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013. - Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. - Yi-zhou Tan, Hai-bo Liu, Shui-hua Huang, Ben-jian Sheng, Zhong-ming Pan:
An Optical Watermarking Solution for Color Personal Identification Pictures. - Marco Maso, Mérouane Debbah, Lorenzo Vangelista:
A Distributed Approach to Interference Alignment in OFDM-based Two-tiered Networks. - Marco Maso, Leonardo S. Cardoso, Mérouane Debbah, Lorenzo Vangelista:
Cognitive Orthogonal Precoder for Two-tiered Networks Deployment. - Mohammad Javad Abdoli, Amir Salman Avestimehr:
Layered Interference Networks with Delayed CSI: DoF Scaling with Distributed Transmitters. - Seunghyun Lee, Rui Zhang, Kaibin Huang:
Opportunistic Wireless Energy Harvesting in Cognitive Radio Networks. - Asankhaya Sharma:
End to End Verification and Validation with SPIN. - Asankhaya Sharma:
An Empirical Study of Path Feasibility Queries. - Xiaoming Chen, Lei Lei:
Energy-Efficient Optimization for Physical Layer Security in Multi-Antenna Downlink Networks with QoS Guarantee. - Christian Cachin, Olga Ohrimenko:
On Verifying the Consistency of Remote Untrusted Services. - Khalil Riad Bouzidi, Catherine Faron-Zucker, Bruno Fiés, Olivier Corby, Nhan Le Thanh:
Towards a Semantic-based Approach for Modeling Regulatory Documents in Building Industry. - Jackie Chi Kit Cheung, Hoifung Poon, Lucy Vanderwende:
Probabilistic Frame Induction. - Georges Antoniadis, Sylviane Granger, Olivier Kraif, Claude Ponton, Virginie Zampa:
NLP and CALL: integration is working. - Kui Xu, Zhenxing Lv, Youyun Xu, Dongmei Zhang, Xinyi Zhong, Wenwen Liang:
Joint Physical Network Coding and LDPC decoding for Two Way Wireless Relaying. - (Withdrawn) An algebraic approach to weak and delay bismulation in coalgebra.
- Loet Leydesdorff, Martin Meyer:
Technology Transfer and the End of the Bayh-Dole Effect: Patents as an Analytical Lens on University-Industry-Government Relations. - Shaheena Sultana, Md. Saidur Rahman, Arpita Roy, Suraiya Tairin:
Bar 1-Visibility Drawings of 1-Planar Graphs. - Gonçalo Simões, Helena Galhardas, David Martins de Matos:
A Labeled Graph Kernel for Relationship Extraction. - Jaydip Sen:
Detection of Cooperative Black Hole Attack in Wireless Ad Hoc Networks. - Yue Shi, Martha A. Larson, Alan Hanjalic:
Generalized Tag-induced Cross-Domain Collaborative Filtering. - Arkaitz Zubiaga, Alberto Pérez García-Plaza, Víctor Fresno, Raquel Martínez-Unanue:
Stacking from Tags: Clustering Bookmarks around a Theme. - Fahiem Bacchus, Adam J. Grove:
Graphical Models for Preference and Utility. - Alexander Balke, Judea Pearl:
Counterfactuals and Policy Analysis in Structural Models. - Salem Benferhat, Alessandro Saffiotti, Philippe Smets:
Belief Functions and Default Reasoning. - Luca Boldrin, Claudio Sossai:
An Algebraic Semantics for Possibilistic Logic. - John S. Breese, Russ Blake:
Automating Computer Bottleneck Detection with Belief Nets. - Wray L. Buntine:
Chain Graphs for Learning. - Enrique F. Castillo, Remco R. Bouckaert, José María Sarabia, Cristina Solares:
Error Estimation in Approximate Bayesian Belief Network Inference. - Juan Luis Castro, Jose Manuel Zurita:
Generating the Structure of a Fuzzy Rule under Uncertainty. - Didier Cayrac, Didier Dubois, Henri Prade:
Practical Model-Based Diagnosis with Qualitative Possibilistic Uncertainty. - Tom Chávez, Ross D. Shachter:
Decision Flexibility. - David Maxwell Chickering:
A Transformational Characterization of Equivalent Bayesian Network Structures. - Adnan Darwiche:
Conditioning Methods for Exact and Approximate Inference in Causal Networks. - Luis M. de Campos, Serafín Moral:
Independence Concepts for Convex Sets of Probabilities. - Denise L. Draper:
Clustering Without (Thinking About) Triangulation. - Eric Driver, Darryl Morrell:
Implementation of Continuous Bayesian Networks Using Sums of Weighted Gaussians. - Marek J. Druzdzel, Linda C. van der Gaag:
Elicitation of Probabilities for Belief Networks: Combining Qualitative and Quantitative Information. - Didier Dubois, Henri Prade:
Numerical Representations of Acceptance. - Kazuo J. Ezawa, Til Schuermann:
Fraud/Uncollectible Debt Detection Using a Bayesian Network Based Learning System: A Rare Binary Outcome with Mixed Data Structures. - Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex:
A Constraint Satisfaction Approach to Decision under Uncertainty. - Nir Friedman, Joseph Y. Halpern:
Plausibility Measures: A User's Guide. - David Galles, Judea Pearl:
Testing Identifiability of Causal Effects. - Dan Geiger, David Heckerman:
A Characterization of the Dirichlet Distribution with Application to Learning Bayesian Networks. - Moisés Goldszmidt:
Fast Belief Update Using Order-of-Magnitude Probabilities. - Benjamin N. Grosof:
Transforming Prioritized Defaults and Specificity into Parallel Defaults. - Peter Haddawy, AnHai Doan, Richard Goodwin:
Efficient Decision-Theoretic Planning: Techniques and Empirical Analysis. - Petr Hájek, Lluís Godo, Francesc Esteva:
Fuzzy Logic and Probability. - Steve Hanks, David Madigan, Jonathan Gavrin:
Probabilistic Temporal Reasoning with Endogenous Change. - David Harmanec:
Toward a Characterization of Uncertainty Measure for the Dempster-Shafer Theory. - David Heckerman, Ross D. Shachter:
A Definition and Graphical Representation for Causality. - David Heckerman, Dan Geiger:
Learning Bayesian Networks: A Unification for Discrete and Gaussian Domains. - David Heckerman:
A Bayesian Approach to Learning Causal Networks. - Eric Horvitz, Matthew Barry:
Display of Information for Time-Critical Decision Making. - Eric Horvitz, Adrian C. Klein:
Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources. - Mark Hulme:
Improved Sampling for Diagnostic Reasoning in Bayesian Networks. - Finn Verner Jensen:
Cautious Propagation in Bayesian Networks. - Ali Jenzarli:
Information/Relevance Influence Diagrams. - George H. John, Pat Langley:
Estimating Continuous Distributions in Bayesian Classifiers. - Keiji Kanazawa, Daphne Koller, Stuart Russell:
Stochastic Simulation Algorithms for Dynamic Probabilistic Networks. - Grigoris I. Karakoulas:
Probabilistic Exploration in Planning while Learning. - Young-Gyun Kim, Marco Valtorta:
On the Detection of Conflicts in Diagnostic Bayesian Networks Using Abstraction. - Uffe Kjærulff:
HUGS: Combining Exact Inference and Gibbs Sampling in Junction Trees. - Alexander V. Kozlov, Jaswinder Pal Singh:
Sensitivities: An Alternative to Conditional Probabilities for Bayesian Belief Networks. - Paul J. Krause, John Fox, Philip N. Judson:
Is There a Role for Qualitative Risk Assessment? - Michael L. Littman, Thomas L. Dean, Leslie Pack Kaelbling:
On the Complexity of Solving Markov Decision Problems. - Christopher Meek:
Causal Inference and Causal Explanation with Background Knowledge. - Christopher Meek:
Strong Completeness and Faithfulness in Bayesian Networks. - Liem Ngo, Peter Haddawy, James Helwig:
A Theoretical Framework for Context-Sensitive Temporal Probability Model Construction with Application to Plan Projection. - Simon Parsons:
Refining Reasoning in Qualitative Probabilistic Networks. - Judea Pearl:
On the Testability of Causal Models with Latent and Instrumental Variables. - Judea Pearl, James M. Robins:
Probabilistic Evaluation of Sequential Plans from Causal Models with Hidden Variables. - David L. Poole:
Exploiting the Rule Structure for Decision Making within the Independent Choice Logic. - Gregory M. Provan:
Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning. - David V. Pynadath, Michael P. Wellman:
Accounting for Context in Plan Recognition, with Application to Traffic Monitoring. - Prakash P. Shenoy:
A New Pruning Method for Solving Decision Trees and Game Trees. - Peter Spirtes:
Directed Cyclic Graphical Representations of Feedback Models. - Peter Spirtes, Christopher Meek, Thomas S. Richardson:
Causal Inference in the Presence of Latent Variables and Selection Bias. - Sampath Srinivas:
Modeling Failure Priors and Persistence in Model-Based Diagnosis. - Sampath Srinivas:
A Polynomial Algorithm for Computing the Optimal Repair Strategy in a System with Independent Component Failures. - Sampath Srinivas, Eric Horvitz:
Exploiting System Hierarchy to Compute Repair Plans in Probabilistic Model-based Diagnosis. - Michael P. Wellman, Matthew Ford, Kenneth Larson:
Path Planning under Time-Dependent Uncertainty. - Emil Weydert:
Defaults and Infinitesimals: Defeasible Inference by Nonarchimedean Entropy-Maximization. - Nic Wilson:
An Order of Magnitude Calculus. - S. K. Michael Wong, Cory J. Butz, Yang Xiang:
A Method for Implementing a Probabilistic Model as a Relational Database. - Yang Xiang:
Optimization of Inter-Subnet Belief Updating in Multiply Sectioned Bayesian Networks. - Hong Xu, Philippe Smets:
Generating Explanations for Evidential Reasoning. - Nevin Lianwen Zhang:
Inference with Causal Independence in the CPSC Network. - Siddhartan Govindasamy:
Asymptotic Data Rates of Receive-Diversity Systems with MMSE Estimation and Spatially Correlated Interferers. - Mingkui Tan, Ivor W. Tsang, Li Wang:
Is Matching Pursuit Solving Convex Problems? - V. Lalitha, N. Prakash, K. Vinodh, P. Vijay Kumar, S. Sandeep Pradhan:
Linear Coding Schemes for the Distributed Computation of Subspaces. - Marco Maso, Leonardo S. Cardoso, Mérouane Debbah, Lorenzo Vangelista:
Cognitive Interference Alignment for OFDM Two-tiered Networks. - Yangqing Jia, Oriol Vinyals, Trevor Darrell:
Pooling-Invariant Image Feature Learning. - Moo-Ryong Ra, Ramesh Govindan, Antonio Ortega:
P3: Toward Privacy-Preserving Photo Sharing. - Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich:
Proceedings of the Third International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2012). - Piotr Trojanek:
Model-driven engineering approach to design and implementation of robot control system. - Jeremiah Blocki, Saranga Komanduri, Ariel D. Procaccia, Or Sheffet:
Optimizing Password Composition Policies. - Marco Sironi, Francesco Tisato:
Capturing Information Flows inside Android and Qemu Environments. - Grégory Landais, Jean-Pierre Tillich:
An efficient attack of a McEliece cryptosystem variant based on convolutional codes. - Jeremiah Blocki, Manuel Blum, Anupam Datta:
Naturally Rehearsing Passwords. - Mikkel Thorup:
On the k-Independence Required by Linear Probing and Minwise Independence. - A. S. Tolba, Magdi Zakria Rashad, Mohammed A. El-Dosuky:
Quantum-inspired Huffman Coding. - A. S. Tolba, Magdi Zakria Rashad, Mohammed A. El-Dosuky:
Q#, a quantum computation package for the .NET platform. - Kai-Yang Chiang, Cho-Jui Hsieh, Nagarajan Natarajan, Ambuj Tewari, Inderjit S. Dhillon:
Prediction and Clustering in Signed Networks: A Local to Global Perspective. - Shigeki Matsutani, Yoshiyuki Shimosako:
Measuring Agglomeration of Agglomerated Particles Pictures. - Arash Ghayoori, T. Aaron Gulliver:
Constructing Polar Codes Using Iterative Bit-Channel Upgrading. - Saravanan Kumarasamy, R. Asokan:
An Efficient Detection Mechanism for Distributed Denial of Service (DDoS) Attack. - Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu:
Verifying PRAM Consistency over Read/Write Traces of Data Replicas. - Thuy Van Nguyen, Aria Nosratinia, Dariush Divsalar:
Rate-Compatible Short-Length Protograph LDPC Codes. - Youssef Mroueh, Lorenzo Rosasco:
q-ary Compressive Sensing. - Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
Extensible Technology-Agnostic Runtime Verification. 1-15 - Sven Sieverding, Christian Ellen, Peter Battram:
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets. 17-31 - Davide Arcelli, Vittorio Cortellessa:
Software model refactoring based on performance analysis: better working on software or performance side? 33-47 - Helena Gruhn, Sabine Glesner:
Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. 49-62 - Maribel Fernández, Jeffrey Terrell:
Assembling the Proofs of Ordered Model Transformations. 63-77 - Jan Olaf Blech:
Towards a Framework for Behavioral Specifications of OSGi Components. 79-93 - Todd Davies, Reid Chandler:
Online Deliberation Design: Choices, Criteria, and Evidence. - Mark Burgin:
Basic Classes of Grammars with Prohibition. - Javier Gimenez, Jorge Martinez, Ana Georgina Flesia:
Unsupervised edge map scoring: an statistical complexity approach. - Dilip K. Prasad:
Object Detection in Real Images. - Kyumars Sheykh Esmaili, Lluis Pamies-Juarez, Anwitaman Datta:
The CORE Storage Primitive: Cross-Object Redundancy for Efficient Data Repair & Access in Erasure Coded Storage. - Arunasalam Sambhanthan, Alice Good:
Strategic Advantage in Web Tourism Promotion: An e-Commerce Strategy for Developing Countries. - Arunasalam Sambhanthan, Alice Good:
Critical Success Factors for Positive User Experience in Hotel Websites: Applying Herzberg's Two Factor Theory for User Experience Modeling. - Arunasalam Sambhanthan, Alice Good:
Implications for Improving Accessibility to E-Commerce Websites in Developing Countries: A Subjective Study of Sri Lankan Hotel Websites. - Arunasalam Sambhanthan, Alice Good:
A Virtual World Model to Enhance Tourism Destination Accessibility in Developing Countries. - Alice Good, Clare Wilson, Claire Ancient, Arunasalam Sambhanthan:
A Proposal To Support Wellbeing in People With Borderline Personality Disorder: Applying Reminiscent Theory in a Mobile App. - Jan Naudts, Ben Anthonis:
The exponential family in abstract information theory. - A. Anandaraj, P. Kalaivani, V. Rameshkumar:
Development Of Ontology-Based Intelligent System For Software Testing. - Adrien Guille, Hakim Hacid, Cécile Favre:
Predicting the Temporal Dynamics of Information Diffusion in Social Networks. - Flavio Ferrarotti, Wei Ren, Jose Maria Turull Torres:
Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF. - Hyun Jong Yang, Won-Yong Shin, Bang Chul Jung, Arogyaswami Paulraj:
Opportunistic Interference Alignment for MIMO Interfering Multiple-Access Channels. - Nima Asadi, Jimmy Lin, Michael Busch:
Dynamic Memory Allocation Policies for Postings in Real-Time Twitter Search. - Maarten Löffler, Wolfgang Mulzer:
Unions of Onions. - Mingyu Guo, Argyrios Deligkas:
Revenue Maximization via Hiding Item Attributes. - Alexander V. Evako:
The Jordan-Brouwer theorem for the digital normal n-space Zn. - Ben London, Bert Huang, Lise Getoor:
Graph-based Generalization Bounds for Learning Binary Relations. - Sourav Chakraborty, Akshay Kamath, Rameshwar Pratap:
Testing Uniformity of Stationary Distribution. - Sivaraman Dasarathan, Cihan Tepedelenlioglu, Mahesh K. Banavar, Andreas Spanias:
Non-Linear Distributed Average Consensus using Bounded Transmissions. - Quan Yuan, Zhixin Yang:
An Improved Weight-coded Evolutionary Algorithm for the Multidimensional Knapsack Problem. - Paul de Kerret, David Gesbert:
Spatial CSIT Allocation Policies for Network MIMO Channels. - Afshin Abdollahi, Mehdi Saeedi, Massoud Pedram:
Reversible Logic Synthesis by Quantum Rotation Gates. - Adithya Rajan, Cihan Tepedelenlioglu:
Stochastic Ordering of Fading Channels Through the Shannon Transform. - Beena Joy Chirayil:
Facilitating Machine to Machine (M2M) Communication using GSM Network. - (Withdrawn) History of malware.
- Merav Parter, David Peleg:
Sparse Fault-Tolerant BFS Trees. - Giuseppe Di Battista, Marco Chiesa, Gabriele Lospoto, Massimo Rimondini:
Intra-Domain Pathlet Routing. - P. Kalaivani, A. Anandaraj, K. Raja:
An Ontology Construction Approach for the Domain Of Poultry Science Using Protege. - Weisheng Si:
Are Yao Graph and Theta Graph Void Free? - Anupam Gupta, Viswanath Nagarajan, Vijay V. Vazirani:
Thrifty Algorithms for Multistage Robust Optimization. - Juan Andrés Bazerque, Georgios B. Giannakis:
Nonparametric Basis Pursuit via Sparse Kernel-based Learning. - Firas Jassim, Fawzi H. Altaani:
Statistical Approach for Predicting Factors of Mood Method for Object Oriented. - Elliot Anshelevich, Ameya Hate, Malik Magdon-Ismail:
Seeding Influential Nodes in Non-Submodular Models of Information Diffusion. - Quan Yuan, Zhixin Yang:
On the performance of a hybrid genetic algorithm in dynamic environments. - Harshad B. Prajapati, Vipul K. Dabhi:
Classification and Characterization of Core Grid Protocols for Global Grid Computing. - Alice Good, Arunasalam Sambhanthan, Vahid Panjganj, Samuel Spettigue:
Computer Interaction and the Benefits of Social Networking for People with Borderline Personality Disorder: Enlightening Mental Health Professionals. - Arunasalam Sambhanthan, Alice Good:
Implications for Improving Accessibility to E-Commerce Websites in Developing Countries - A Study of Hotel Websites. - Alice Good, Arunasalam Sambhanthan, Vahid Panjganj:
Looking back at Facebook content and the positive impact upon wellbeing: Exploring reminiscing as a tool for self soothing. - Alice Good, Paul Gnanayutham, Arunasalam Sambhanthan, Vahid Panjganj:
HCI considerations in Designing a Second Life Virtual Therapeutic Community for the Support & Treatment of People with Borderline Personality Disorder. - Alice Good, Arunasalam Sambhanthan:
A Review into eHealth Services and Therapies: Potential for Virtual Therapeutic Communities - Supporting People with Severe Personality Disorder. - Srimugunthan, K. Gopinath, Giridhar Appaji Nag Yasa:
LFTL: A multi-threaded FTL for a Parallel IO Flash Card under Linux. - Nuril Aini, Leon Andretti Abdillah, Jemakmun:
Perangkat lunak bantu mengenal huruf arab melayu ke bentuk huruf latin bahasa Indonesia. - Wesam Gabran, Przemyslaw Pawelczak, Chun-Hao Liu, Danijela Cabric:
Blind Estimation of Primary User Traffic Parameters Under Sensing Errors. - Lluis Pamies-Juarez, Henk D. L. Hollmann, Frédérique E. Oggier:
Locally Repairable Codes with Multiple Repair Alternatives. - Mikael Moghadam, David Johan Christensen, David Brandt, Ulrik Pagh Schultz:
Towards Python-based Domain-specific Languages for Self-reconfigurable Modular Robotics Research. - Daniel Torres-Salinas, Rosa Rodríguez-Sánchez, Nicolás Robinson-García, J. Fdez-Valdivia, Jose A. García:
Mapping Citation Patterns of Book Chapters in the Book Citation Index. - Georgia Koloniari, Dimitris Souravlias, Evaggelia Pitoura:
On Graph Deltas for Historical Queries. - Michael Fairbank:
The Importance of Clipping in Neurocontrol by Direct Gradient Descent on the Cost-to-Go Function and in Adaptive Dynamic Programming. - Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, Alastair F. Donaldson:
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs. - Felix Brandt, Hans Georg Seedig:
A tournament of order 24 with two disjoint TEQ-retentive sets. - Andrea Clementi, Miriam Di Ianni, Giorgio Gambosi, Emanuele Natale, Riccardo Silvestri:
Distributed Community Detection in Dynamic Graphs. - Julian Arz, Dennis Luxen, Peter Sanders:
Transit Node Routing Reconsidered. - (Withdrawn) Greedy is as Good as Delaunay (Almost).
- Djallel Bouneffouf:
Role of temporal inference in the recognition of textual inference. - Pranava K. Jha:
Comments on "Resource placement in Cartesian product of networks" [Imani, Sarbazi-Azad and Zomaya, J. Parallel Distrib. Comput., 70 (2010) 481-495]. - Bernat Gastón, Jaume Pujol, Mercè Villanueva:
A realistic distributed storage system: the rack model. - Ivana Maric:
Low Latency Communications. - Albert Heinle, Viktor Levandovskyy:
Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra. - Wafa N. Bdour, Natheer Khlaif Gharaibeh:
Development of Yes/No Arabic Question Answering System. - Natheer Khlaif Gharaibeh, Mohareb A. Alsmadi:
The impact of teaching two courses (electronic curriculum design, multimedia) on the acquisition of electronic content design skills. - Juliana M. N. Silva, Cristina Boeres, Lúcia M. A. Drummond, Artur Alves Pessoa:
Memory Aware Load Balance Strategy on a Parallel Branch-and-Bound Application. - Joseph Y. Halpern, Samantha Leung:
Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions. - B. R. Schlei:
STEVE - Space-Time-Enclosing Volume Extraction. - Reza Khosravi-Farsani:
Capacity Bounds for Wireless Ergodic Fading Broadcast Channels with Partial CSIT. - Thibaut Horel, Stratis Ioannidis, S. Muthukrishnan:
Budget Feasible Mechanisms for Experimental Design. - Ivan W. Selesnick, Ilker Bayram:
Sparse Signal Estimation by Maximally Sparse Convex Optimization. - Xun Gong, Mavis Rodrigues, Negar Kiyavash:
Invisible Flow Watermarks for Channels with Dependent Substitution, Deletion, and Bursty Insertion Errors. - Vivek S. Nittoor, Reiji Suda:
Enumeration Based Search Algorithm For Finding A Regular Bi-partite Graph Of Maximum Attainable Girth For Specified Degree And Number Of Vertices. - Vivek S. Nittoor, Reiji Suda:
Analysis Of The Girth For Regular Bi-partite Graphs With Degree 3. - Yue Wu, Brian Tracey, Premkumar Natarajan, Joseph P. Noonan:
Probabilistic Non-Local Means. - Daisuke Kimura, Makoto Tatsuta:
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types. - Ashish Seth, Himanshu Aggarwal, Ashim Raj Singla:
Unified Modeling Language for Describing Business Value Chain Activities. - Dimitry S. Ananichev, Vladimir V. Gusev, Mikhail V. Volkov:
Primitive digraphs with large exponents and slowly synchronizing automata. - Luc Devroye, Gábor Lugosi, Gergely Neu:
Prediction by Random-Walk Perturbation. - Simon J. Gay, Paul Kelly:
Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012. - Songjian Lu, Xinghua Lu:
An exact algorithm with the time complexity of $O^*(1.299^m)$ for the weighed mutually exclusive set cover problem. - Brian Duffy, Aritra Dasgupta, Robert Kosara, Simon J. Walton, Min Chen:
Measuring Visual Complexity of Cluster-Based Visualizations. - Daniel Z. Turner, K. B. Nakshatrala, M. J. Martinez:
A framework for coupling flow and deformation of the porous solid. - Matthew Felice Pace, Alexander Tiskin:
Parallel Suffix Array Construction by Accelerated Sampling. - Mukul Agarwal, Sanjoy K. Mitter, Anant Sahai:
A universal, operational theory of unicast multi-user communication with fidelity criteria. - Masoud Abbaszadeh, Horacio J. Marquez:
Design of Nonlinear State Observers for One-Sided Lipschitz Systems. - Sanjiv Kapoor, Mohammad Sarwat:
The Budgeted Transportation Problem. - K. V. Rashmi, Nihar B. Shah, Kannan Ramchandran:
A Piggybacking Design Framework for Read-and Download-efficient Distributed Storage Codes. - N. S. Narayanaswamy, G. Ramakrishna:
Characterization of Minimum Cycle Basis in Weighted Partial 2-trees. - Sonya Eini, Abdolah Chalechale:
Four Side Distance: A New Fourier Shape Signature. - Shenshi Chen, Yaqing Chen, Quanhai Yang:
Towards Randomized Testing of $q$-Monomials in Multivariate Polynomials. - Arvind Viswanathan, Garimella Rama Murthy:
Heterogeneous Dynamic Priority Scheduling in time critical applications: Mobile Wireless Sensor Networks. - Cong Ling, Jean-Claude Belfiore:
Achieving the AWGN Channel Capacity With Lattice Gaussian Distribution. - Yanfei Yan, Cong Ling, Xiaofu Wu:
Polar Lattices: Where Arikan Meets Forney. - Anupam Gupta, Viswanath Nagarajan:
A Stochastic Probing Problem with Applications. - Ossi Kaltiokallio, Maurizio Bocca, Neal Patwari:
A Multi-Scale Spatial Model for RSS-based Device-Free Localization. - Ramchandra S. Mangrulkar, Mohammad Atique:
Performance Evaluation of Delay Tolerant Network in Heterogeneous Highly Dense Mobile Environment. - Mark A. Iwen:
Compressed Sensing with Sparse Binary Matrices: Instance Optimal Error Guarantees in Near-Optimal Time. - Milorad Bojic, Alexandre Patou Parvedy, Harry Boyer:
Optimization of thermal comfort in building through envelope design. - Milorad Bojic, Dragan Cvetkovic, Jasmina Skerlic, Danijela Nikolic, Harry Boyer:
Performances of Low Temperature Radiant Heating Systems. - Javad Ghaderi, Sem C. Borst, Phil Whiting:
Queue-Based Random-Access Algorithms: Fluid Limits and Stability Issues. - Peng Li, Rodrigo C. de Lamare:
Multi-Feedback Successive Interference Cancellation for Multiuser MIMO Systems. - Xavier Descombes, Sergey A. Komech:
Shape Characterization via Boundary Distortion. - Peng Li, Rodrigo C. de Lamare:
Adaptive Decision Feedback Detection with Parallel Interference Cancellation and Constellation Constraints for Multi-Antenna Systems. - Yunlong Cai, Rodrigo C. de Lamare:
Low-Complexity Variable Forgetting Factor Techniques for RLS Algorithms in Interference Rejection Applications. - Ya-Feng Liu, Enbin Song:
Sample Approximation-Based Deflation Approaches for Chance SINR Constrained Joint Power and Admission Control. - Zhengfeng Yang, Min Wu, Wang Lin:
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation. - Kun-Yu Wang, Haining Wang, Zhi Ding, Chong-Yung Chi:
Low-Complexity Algorithm for Worst-Case Utility Maximization in Multiuser MISO Downlink. - Xiongbin Rao, Liangzhong Ruan, Vincent K. N. Lau:
Limited Feedback Design for Interference Alignment on MIMO Interference Networks with Heterogeneous Path Loss and Spatial Correlations. - Xiaodi Hou, Alan L. Yuille, Christof Koch:
A Meta-Theory of Boundary Detection Benchmarks. - Shahab Kaynama, Meeko Oishi:
A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics. - Rachid Echahed, Detlef Plump:
Proceedings 7th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2013, Rome, Italy, 23th March 2013. - Srimugunthan, K. Gopinath:
Distributed Wear levelling of Flash Memories. - Aryeh Kontorovich, Boaz Nadler, Roi Weiss:
On learning parametric-output HMMs. - Srikrishnan Divakaran, Arpit Mithal, Namit Jain:
A Fast Template Based Heuristic For Global Multiple Sequence Alignment. - Ondrej Such:
Phoneme discrimination using KS algebra I. - Robert Ganian, Petr Hlinený, Daniel Král, Jan Obdrzálek, Jarett Schwartz, Jakub Teska:
FO Model Checking of Interval Graphs. - David García, Pavlin Mavrodiev, Frank Schweitzer:
Social Resilience in Online Communities: The Autopsy of Friendster. - Sachin Kadloor, Negar Kiyavash, Parv Venkitasubramaniam:
Mitigating Timing Side Channel in Shared Schedulers. - Monica Anderson, Chris S. Crawford, Paul Kilgo, Megan Stanforth:
Work in Progress: Enabling robot device discovery through robot device descriptions. - Navin Kashyap, Gilles Zémor:
Upper Bounds on the Size of Grain-Correcting Codes. - Ankit Singla, Philip Brighten Godfrey, Kevin R. Fall, Gianluca Iannaccone, Sylvia Ratnasamy:
Scalable Routing on Flat Names. - Yipeng Liu:
Robust Capon Beamforming via Shaping Beam Pattern. - Md. Jawaherul Alam, Gasper Fijavz, Michael Kaufmann, Stephen G. Kobourov, Sergey Pupyrev:
Threshold Coloring and Unit-Cube Contact Representation of Graphs. - Truong Vinh Truong Duy, Taisuke Ozaki:
A decomposition method with minimum communication amount for parallelization of multi-dimensional FFTs. - Mark Bun, Justin Thaler:
Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities. - Ondrej Such, Lenka Mackovicova:
Phoneme discrimination using $KS$-algebra II. - Ratnadip Adhikari, R. K. Agrawal:
A Homogeneous Ensemble of Artificial Neural Networks for Time Series Forecasting. - A. V. Korobeynikov, I. I. Islamgaliev:
Modification of conceptual clustering algorithm Cobweb for numerical data using fuzzy membership function. - C. Seshadhri, Ali Pinar, Nurcan Durak, Tamara G. Kolda:
The importance of directed triangles with reciprocity: patterns and algorithms. - Hammurabi Mendes, Christine Tasson, Maurice Herlihy:
The Topology of Asynchronous Byzantine Colorless Tasks. - George Giakkoupis:
Tight Bounds for Rumor Spreading with Vertex Expansion. - Ryan A. Rossi, David F. Gleich, Assefaw Hadish Gebremedhin, Md. Mostofa Ali Patwary:
A Fast Parallel Maximum Clique Algorithm for Large Sparse Graphs and Temporal Strong Components. - Ratnadip Adhikari:
A Treatise on Stability of Autonomous and Non-autonomous Systems: Theory and Illustrative Practical Applications. - Shams Zawoad, Amit Kumar Dutta, Ragib Hasan:
SecLaaS: Secure Logging-as-a-Service for Cloud Forensics. - Ibrahim AlShourbaji, Rafat AlAmeer:
Wireless Intrusion Detection Systems(WIDS). - Lilian Weng, Jacob Ratkiewicz, Nicola Perra, Bruno Gonçalves, Carlos Castillo, Francesco Bonchi, Rossano Schifanella, Filippo Menczer, Alessandro Flammini:
The Role of Information Diffusion in the Evolution of Social Networks. - Laurent Demanet, Deanna Needell, Nam Nguyen:
Super-resolution via superset selection and pruning. - Terry Ferrett, Matthew C. Valenti, Don J. Torrieri:
An Iterative Noncoherent Relay Receiver for the Two-way Relay Channel. - Neil Zhenqiang Gong, Wenchang Xu, Dawn Song:
Reciprocity in Social Networks: Measurements, Predictions, and Implications. - Adesesan B. Adeyemo, Adebola A. Oketola, Emmanuel O. Adetula, O. Osibanjo:
Estimating Sectoral Pollution Load in Lagos, Nigeria Using Data Mining Techniques. - Shams Zawoad, Ragib Hasan:
Cloud Forensics: A Meta-Study of Challenges, Approaches, and Open Problems. - Kazuho Watanabe:
Rate-Distortion Bounds for an Epsilon-Insensitive Distortion Measure. - Dingding Zhou, Songling Chen, Shi Dong:
Network traffic prediction based on ARFIMA model. - Saleena Nabeezath, Vineeth Paleri:
A Note on "A polynomial-time algorithm for global value numbering". - Yu David Liu:
Variant-Frequency Semantics for Green Futures. 1-6 - Peter Calvert, Alan Mycroft:
Mapping the Join Calculus to Heterogeneous Hardware. 7-12 - Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
An event-based model for contracts. 13-20 - Marco Carbone, Fabrizio Montesi:
Merging Multiparty Protocols in Multiparty Choreographies. 21-27 - Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Typing Context-Dependent Behavioural Variation. 28-33 - Sung-Shik T. Q. Jongmans, Farhad Arbab:
Modularizing and Specifying Protocols among Threads. 34-45 - Guillaume Bonfante, Bruno Guillaume:
Non-simplifying Graph Rewriting Termination. 4-16 - Patrick Bahr:
Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract). 17-28 - Manfred Schmidt-Schauß:
Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract). 29-40 - Beniamino Accattoli:
Evaluating functions as processes. 41-55 - Clemens Grabmayer, Jan Rochel:
Term Graph Representations for Cyclic Lambda-Terms. 56-73 - Maribel Fernández, Ian Mackie, Matthew Walker:
Bigraphical Nets. 74-81 - Kanagavalli V. R., Raja K.:
A Fuzzy Logic based Method for Efficient Retrieval of Vague and Uncertain Spatial Expressions in Text Exploiting the Granulation of the Spatial Event Queries. - Adrien Richard:
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks. - Roohallah Rastaghi:
URDP: General Framework for Direct CCA2 Security from any Lattice-Based PKE Scheme. - Ali Ahmad Alawneh:
Assessing the Dimensions of Relationship Quality in B2C E Banking Services: An Empirical Comparative Study. - Faizan Ahmad, Aaima Najam, Zeeshan Ahmed:
Image-based Face Detection and Recognition: "State of the Art". - Michael Schreiber:
Inconsistencies of the Highly-Cited-Publications Indicator. - Michael Schreiber:
How much do different ways of calculating percentiles influence the derived performance indicators? - A case study. - Matthew England:
An implementation of CAD in Maple utilising McCallum projection. - Kousha Etessami, Alistair Stewart, Mihalis Yannakakis:
Stochastic Context-Free Grammars, Regular Languages, and Newton's Method. - Jónathan Heras, Ekaterina Komendantskaya:
ML4PG: proof-mining in Coq. - Rupam Kumar Sharma:
Generation of Biometric key for use in DES. - A. Meena, K. Raja:
Segmentation of Alzheimers Disease in PET scan datasets using MATLAB. - Keying Li:
Matrix Access structure Policy used in Attribute-Based Proxy Re-encryption. - Arne Nordmann, Sebastian Wrede:
A Domain-Specific Language for Rich Motor Skill Architectures. - Alain-Jérôme Fougères:
A Modelling Approach Based on Fuzzy Agents. - Nan Li, Elena Dubrova:
Embedding of Deterministic Test Data for In-Field Testing. - Andrea Munaro:
The VC-Dimension of Graphs with Respect to k-Connected Subgraphs. - Alberto Gatto:
Bisimulation and p-morphism for branching-time logics with indistinguishability relations. - Chris Yakopcic, Tarek M. Taha, Guru Subramanyam:
Hybrid Crossbar Architecture for a Memristor Based Cache. - Chenxi Hao, Bruno Clerckx:
Imperfect and Unmatched CSIT is Still Useful for the Frequency Correlated MISO Broadcast Channel. - Yin Ding, Ivan W. Selesnick:
Sparse Frequency Analysis with Sparse-Derivative Instantaneous Amplitude and Phase Functions. - Jorge Mañana-Rodríguez:
Entropy-based disciplinarity indicator: role taxonomy of journals in scientific communication systems. - Luis Enrique Cortes-Berrueco, Carlos Gershenson, Christopher R. Stephens:
Self-Organization Promotes the Evolution of Cooperation with Cultural Propagation. - Theodoros Rekatsinas, Amol Deshpande, Ashwin Machanavajjhala:
On Sharing Private Data with Multiple Non-Colluding Adversaries. - (Withdrawn) Geodesic-based Salient Object Detection.
- Daniel Cullina, Negar Kiyavash:
An Improvement to Levenshtein's Upper Bound on the Cardinality of Deletion Correcting Codes. - Jianwei Xie, Sennur Ulukus:
Secure Degrees of Freedom of the Gaussian Wiretap Channel with Helpers and No Eavesdropper CSI: Blind Cooperative Jamming. - Aslan Tchamkerten, Venkat Chandar, Giuseppe Caire:
Energy and Sampling Constrained Asynchronous Communication. - Kostas Stefanidis, Evaggelia Pitoura:
Finding the Right Set of Users: Generalized Constraints for Group Recommendations. - Ratnadip Adhikari, R. K. Agrawal:
Combining Multiple Time Series Models Through A Robust Weighted Mechanism. - Lamiaa Fattouh Ibrahim, Manal Hamed Al Harbi:
Using Modified Partitioning Around Medoids Clustering Technique in Mobile Network Planning. - Ratnadip Adhikari, R. K. Agrawal:
An Introductory Study on Time Series Modeling and Forecasting. - Ratnadip Adhikari, R. K. Agrawal, Laxmi Kant:
PSO based Neural Networks vs. Traditional Statistical Models for Seasonal Time Series Forecasting. - Timothy Hunter, Aude Hofleitner, Jack Reilly, Walid Krichene, Jerome Thai, Anastasios Kouvelas, Pieter Abbeel, Alexandre M. Bayen:
Arriving on time: estimating travel time distributions on large-scale road networks. - Chengwen Xing, Wenzhi Li, Shaodan Ma, Zesong Fei, Jingming Kuang:
A Matrix-Field Weighted Mean-Square-Error Model for MIMO Transceiver Designs. - Tamara G. Kolda, Ali Pinar, Todd D. Plantenga, C. Seshadhri:
A Scalable Generative Graph Model with Community Structure. - John Iacono:
Why some heaps support constant-amortized-time decrease-key operations, and others do not. - Zhiqing Wei, Qixun Zhang, Zhiyong Feng, Wei Li, T. Aaron Gulliver:
On the Construction of Radio Environment Maps for Cognitive Radio Networks. - David P. Wagner:
The Unified Segment Tree and its Application to the Rectangle Intersection Problem. - Yan Huang, Ruoming Jin, Favyen Bastani, Xiaoyang Sean Wang:
Large Scale Real-time Ridesharing with Service Guarantee on Road Networks. - Julien M. Hendrickx, Guodong Shi, Karl Henrik Johansson:
Finite-time consensus using stochastic matrices with positive diagonals. - Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. - Naim Bajçinca, Yashar Kouhi, Vladislav Nenchev, Jörg Raisch:
Decentralized set-valued state estimation based on non-deterministic chains. - Yuri I. Manin:
Complexity vs Energy: Theory of Computation and Theoretical Physics. - Mukund Sundararajan, Inbal Talgam-Cohen:
Refine Predictions Ad Infinitum? - Karsten Fyhn, Tobias Lindstrøm Jensen, Torben Larsen, Søren Holdt Jensen:
Compressive Sensing for Spread Spectrum Receivers. - Naim Bajçinca:
Decentralized set-valued state estimation and prediction for hybrid systems: A symbolic approach. - Weihua Zhan, Huahui Chen, Jihong Guan, Guang Jin:
Finding overlapping communities in networks using evolutionary method. - Marcelo Serrano Zanetti, Ingo Scholtes, Claudio Juan Tessone, Frank Schweitzer:
Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software Communities. - Michele Benzi, Christine Klymko:
Total communicability as a centrality measure. - Greg Adams, Beth Millar, Eric Neufeld, Tim Philip:
Ending-based Strategies for Part-of-speech Tagging. - Constantin F. Aliferis, Gregory F. Cooper:
An Evaluation of an Algorithm for Inductive Learning of Bayesian Belief Networks Usin. - Russ B. Altman, Cheng Che Chen, William B. Poland, Jaswinder Pal Singh:
Probabilistic Constraint Satisfaction with Non-Gaussian Noise. - Derek D. Ayers:
A Bayesian Method Reexamined. - Adriano Azevedo-Filho, Ross D. Shachter:
Laplace's Method Approximations for Probabilistic Inference in Belief Networks with Continuous Variables. - Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Generating New Beliefs From Old. - Alexander Balke, Judea Pearl:
Counterfactual Probabilities: Computational Methods, Bounds and Applications. - Ildar Z. Batyrshin:
Modus Ponens Generating Function in the Class of ^-valuations of Plausibility. - Ann Becker, Dan Geiger:
Approximation Algorithms for the Loop Cutset Problem. - Philippe Besnard, Jérôme Lang:
Possibility and Necessity Functions over Non-classical Logics. - Raj Bhatnagar:
Exploratory Model Building. - Edward A. Billard:
Learning in Multi-level Stochastic games with Delayed Information. - Jim S. Blythe:
Planning with External Events. - Remco R. Bouckaert:
Properties of Bayesian Belief Network Learning Algorithms. - Remco R. Bouckaert:
A Stratified Simulation Scheme for Inference in Bayesian Belief Networks. - Tom Chávez, Max Henrion:
Efficient Estimation of the Value of Information in Monte Carlo Models. - Bruce D'Ambrosio:
Symbolic Probabilitistic Inference in Large BN2O Networks. - Adnan Darwiche, Moisés Goldszmidt:
Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty. - Adnan Darwiche, Moisés Goldszmidt:
On the Relation between Kappa Calculus and Probabilistic Reasoning. - Ron Davidson, Michael R. Fehling:
A Structured, Probabilistic Representation of Action. - Richard Dearden, Craig Boutilier:
Integrating Planning and Execution in Stochastic Domains. - Denise L. Draper, Steve Hanks:
Localized Partial Evaluation of Belief Networks. - Denise L. Draper, Steve Hanks, Daniel S. Weld:
A Probabilistic Model of Action for Least-Commitment Planning with Information Gather. - Marek J. Druzdzel:
Some Properties of Joint Probability Distributions. - Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade:
An Ordinal View of Independence with Application to Plausible Reasoning. - Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex:
Penalty logic and its Link with Dempster-Shafer Theory. - Kazuo J. Ezawa:
Value of Evidence on Influence Diagrams. - Pascale Fonck:
Conditional Independence in Possibility Theory. - Robert M. Fung, Brendan Del Favero:
Backward Simulation in Bayesian Networks. - Dan Geiger, David Heckerman:
Learning Gaussian Networks. - Dan Geiger, Azaria Paz, Judea Pearl:
On Testing Whether an Embedded Bayesian Network Represents a Probability Model. - Robert P. Goldman, Mark S. Boddy:
Epsilon-Safe Planning. - Peter Haddawy:
Generating Bayesian Networks from Probability Logic Knowledge Bases. - Peter Haddawy, AnHai Doan:
Abstracting Probabilistic Actions. - Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluís Godo:
On Modal Logics for Qualitative Possibility in a Fuzzy Setting. - David Heckerman, John S. Breese:
A New Look at Causal Independence. - David Heckerman, Dan Geiger, David Maxwell Chickering:
Learning Bayesian Networks: The Combination of Knowledge and Statistical Data. - David Heckerman, Ross D. Shachter:
A Decision-Based View of Causality. - Jochen Heinsohn:
Probabilistic Description Logics. - Max Henrion, Gregory M. Provan, Brendan Del Favero, Gillian Sanders:
An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning. - Bernhard Hollunder:
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics. - Yen-Teh Hsia:
Possibilistic Conditioning and Propagation. - Marcus J. Huber, Edmund H. Durfee, Michael P. Wellman:
The Automated Mapping of Plans for Plan Recognition. - Manfred Jaeger:
A Logic for Default Reasoning About Probabilities. - Finn Verner Jensen, Frank Jensen:
Optimal Junction Trees. - Frank Jensen, Finn Verner Jensen, Søren L. Dittmer:
From Influence Diagrams to Junction Trees. - Uffe Kjærulff:
Reduction of Computational Complexity in Bayesian Networks through Removal of Weak Dependencies. - Wai Lam, Fahiem Bacchus:
Using New Data to Refine a Bayesian Network. - Jérôme Lang:
Syntax-based Default Reasoning as Probabilistic Model-based Diagnosis. - Pat Langley, Stephanie Sage:
Induction of Selective Bayesian Classifiers. - Stephane Lapointe, René Proulx:
Fuzzy Geometric Relations to Represent Hierarchical Spatial Information. - Paul E. Lehner, Christopher Elsaesser, Scott A. Musman:
Constructing Belief Networks to Evaluate Plans. - Todd Michael Mansell, Grahame B. Smith:
Operator Selection While Planning Under Uncertainty. - Wolfgang Nejdl, Johann Gamper:
Model-Based Diagnosis with Qualitative Temporal Uncertainty. - Keung-Chi Ng, Tod S. Levitt:
Incremental Dynamic Construction of Layered Polytree Networks. - Daniel E. O'Leary:
Models of Consensus for Multiple Agent Systems. - Judea Pearl:
A Probabilistic Calculus of Actions. - Stephen G. Pimentel, Lawrence M. Brem:
Robust Planning in Uncertain Environments. - Michael Pittarelli:
Anytime Decision Making with Imprecise Probabilities. - Malcolm Pradhan, Gregory M. Provan, Blackford Middleton, Max Henrion:
Knowledge Engineering for Large Belief Networks. - Runping Qi, Nevin Lianwen Zhang, David L. Poole:
Solving Asymmetric Decision Problems with Influence Diagrams. - Marco Ramoni, Alberto Riva:
Belief Maintenance in Bayesian Networks. - Eugene Santos Jr., Solomon Eyal Shimony:
Belief Updating by Enumerating High-Probability Independence-Based Assignments. - Ross D. Shachter, Stig K. Andersen, Peter Szolovits:
Global Conditioning for Probabilistic Inference in Belief Networks. - Philippe Smets:
Belief Induced by the Partial Knowledge of the Probabilities. - Paul Snow:
Ignorance and the Expressiveness of Single- and Set-Valued Probability Models of Belief. - Sampath Srinivas:
A Probabilistic Approach to Hierarchical Model-based Diagnosis. - Milan Studený:
Semigraphoids Are Two-Antecedental Approximations of Stochastic Conditional Independence Models. - Sek-Wah Tan:
Exceptional Subclasses in Qualitative Probability. - Pei Wang:
A Defect in Dempster-Shafer Theory. - Michael P. Wellman, Chao-Lin Liu:
State-space Abstraction for Anytime Evaluation of Probabilistic Networks. - Emil Weydert:
General Belief Measures. - Nic Wilson:
Generating Graphoids from Generalised Conditional Probability. - S. K. Michael Wong, Z. W. Wang:
On Axiomatization of Probabilistic Conditional Independencies. - Hong Xu, Philippe Smets:
Evidential Reasoning with Conditional Belief Functions. - Nevin Lianwen Zhang, David L. Poole:
Inter-causal Independence and Heterogeneous Factorization. - Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak, Felix Reidl, Peter Rossmanith, Fernando Sánchez Villaamil, Somnath Sikdar:
Kernelization Using Structural Parameters on Sparse Graph Classes. - Leonardo S. Cardoso, Mari Kobayashi, Francisco Rodrigo P. Cavalcanti, Mérouane Debbah:
Vandermonde-subspace Frequency Division Multiplexing for Two-Tiered Cognitive Radio Networks. - Ya. V. Bazaikin, V. A. Baikov, Iskander A. Taimanov, A. A. Yakovlev:
Numerical analysis of topological characteristics of three-dimensional geological models of oil and gas fields. - Gudmund Grov, Aleks Kissinger:
A Graphical Language for Proof Strategies. - Manuel Schmitt, Rolf Wanka:
Exploiting Independent Subformulas: A Faster Approximation Scheme for #k-SAT. - Oskar Schirmer:
Using Virtual Addresses with Communication Channels. - John Howat, John Iacono, Pat Morin:
The Fresh-Finger Property. - Oren Anava, Elad Hazan, Shie Mannor, Ohad Shamir:
Online Learning for Time Series Prediction. - David J. Galas, Nikita A. Sakhanenko, Alexander Skupin, Tomasz M. Ignac:
Describing the complexity of systems: Multi-variable "set complexity" and hypergraphs. - Federico Clazzer, Christian Kissling:
Optimum Header Positioning in Successive Interference Cancellation (SIC) based Aloha. - Oren Anava, Elad Hazan, Shie Mannor:
Online Learning for Loss Functions with Memory and Applications to Statistical Arbitrage. - Karthikeyan Natesan Ramamurthy, Jayaraman J. Thiagarajan, Prasanna Sattigeri, Andreas Spanias:
Ensemble Sparse Models for Image Analysis. - Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher:
Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories. - Marc Lelarge, Alexandre Proutière, M. Sadegh Talebi:
Spectrum Bandit Optimization. - Giacomo Indiveri, Bernabé Linares-Barranco, Robert Legenstein, George Deligeorgis, Themistoklis Prodromakis:
Integration of nanoscale memristor synapses in neuromorphic computing architectures. - Michael Johanson:
Measuring the Size of Large No-Limit Poker Games. - Jiayang Jiang, Michael Mitzenmacher, Justin Thaler:
Parallel Peeling Algorithms. - De-Nian Yang, Hui-Ju Hung, Wang-Chien Lee, Wei Chen:
Maximizing Acceptance Probability for Active Friending in On-Line Social Networks. - Alexandre Fréchette, F. Bruce Shepherd, Marina Thottan, Peter J. Winzer:
Shortest Path versus Multi-Hub Routing in Networks with Uncertain Demand. - Mounira Taileb:
Content Based Image Retrieval System Using NOHIS-tree. - Kemal Davaslioglu, Ender Ayanoglu:
Common Rate Maximization in Two-Layer Cellular Radio Systems. - Kemal Davaslioglu, Ender Ayanoglu:
Interference-Based Cell Selection in Heterogenous Networks. - Wesam Elshamy, Hassan M. Rashad, Ahmed Bahgat:
Polyploidy and Discontinuous Heredity Effect on Evolutionary Multi-Objective Optimization. - Wesam Elshamy, Doina Caragea, William H. Hsu:
KSU KDD: Word Sense Induction by Clustering in Topic Space. - Hong Jiang, Boyd Mathews, Paul A. Wilford:
Sound localization using compressive sensing. - Xuemei Chen, Rongrong Wang:
A null space property approach to compressed sensing with frames. - Hassan M. Emara, Wesam Elshamy, Ahmed Bahgat:
Parameter Identification of Induction Motor Using Modified Particle Swarm Optimization Algorithm. - R. Santhi, B. Priya, J. M. Nandhini:
Review of intelligent tutoring systems using bayesian approach. - A. Meena, K. Raja:
K Means Segmentation of Alzheimers Disease in PET scan datasets: An implementation. - Aparna Das, Markus Geyer, Michael Kaufmann, Stephen G. Kobourov, Sankar Veeramoni:
Maximum Differential Coloring of Caterpillars and Spiders. - Wesam Elshamy:
Continuous-time Infinite Dynamic Topic Models. - Wesam Elshamy:
Adaptive Control in Swarm Robotics. - Wesam Elshamy:
Using Artificial Intelligence Models in System Identification. - Ruggero Pagnan:
Syllogisms in Rudimentary Linear Logic, Diagrammatically. - Jean Cardinal, Vincent Kusters:
The Complexity of Simultaneous Geometric Graph Embedding. - Rosy Madaan, A. K. Sharma, Ashutosh Dixit:
Presence Factor-Oriented Blog Summarization. - Rao Farhat Masood:
Adaptive Modulation (QPSK, QAM). - Peter beim Graben:
Order effects in dynamic semantics. - Sergio Callegari, Federico Bizzarri:
Should ΔΣ Modulators Used in AC Motor Drives be Adapted to the Mechanical Load of the Motor? - Dong Yi, Zhen Lei, Yang Hu, Stan Z. Li:
Fast Matching by 2 Lines of Code for Large Scale Face Recognition Systems. - Marcelo Serrano Zanetti, Ingo Scholtes, Claudio Juan Tessone, Frank Schweitzer:
The Rise and Fall of a Central Contributor: Dynamics of Social Organization and Performance in the Gentoo Community. - Eike Hermann Müller, Xu Guo, Robert Scheichl, Sinan Shi:
Matrix-free GPU implementation of a preconditioned conjugate gradient solver for anisotropic elliptic PDEs. - Hongbo Li:
Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry. - Tian Zhang, Wei Chen, Zhu Han, Zhigang Cao:
Coalitional Game Theoretic Approach for Cooperative Transmission in Vehicular Networks. - Min Zheng, Mingshen Sun, John C. S. Lui:
DroidAnalytics: A Signature Based Analytic System to Collect, Extract, Analyze and Associate Android Malware. - Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé:
Modeling Stable Matching Problems with Answer Set Programming. - Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter:
Towards a provably robust graph-based watermarking scheme. - Claudio Gentile, Mark Herbster, Stephen Pasteris:
Online Similarity Prediction of Networked Data from Known and Unknown Graphs. - Bruno Clerckx, Heunchul Lee, Young-Jun Hong, Gil Kim:
A Practical Cooperative Multicell MIMO-OFDMA Network Based on Rank Coordination. - Glencora Borradaile, Philip N. Klein, Claire Mathieu:
A polynomial-time approximation scheme for Euclidean Steiner forest. - (Withdrawn) A measure for the impact of research.
- Gregory Kucherov, Kamil Salikhov:
Using cascading Bloom filters to improve the memory usage for de Brujin graphs. - Emad M. Grais, Hakan Erdogan:
Source Separation using Regularized NMF with MMSE Estimates under GMM Priors with Online Learning for The Uncertainties. - Feng Yan, Anais Vergne, Philippe Martins, Laurent Decreusefond:
Homology-based Distributed Coverage Hole Detection in Wireless Sensor Networks. - Kevin S. Galloway, Koushil Sreenath, Aaron D. Ames, Jessy W. Grizzle:
Torque Saturation in Bipedal Robotic Walking through Control Lyapunov Function Based Quadratic Programs. - Eugene Perevalov, David Grace:
Towards the full information chain theory: solution methods for optimal information acquisition problem. - Zai Yang, Cishen Zhang, Lihua Xie:
Robust Compressive Phase Retrieval via L1 Minimization With Application to Image Reconstruction. - Barnabás Póczos, Alessandro Rinaldo, Aarti Singh, Larry A. Wasserman:
Distribution-Free Distribution Regression. - Jonathan A. Ward, Peter Grindrod:
Aperiodic dynamics in a deterministic model of attitude formation in social groups. - Andrew T. Little, Joshua A. Tucker, Tom LaGatta:
Elections, Protest, and Alternation of Power. - Fernando Peruani, Lionel Tabourier:
Directedness of information flow in mobile phone communication networks. - Marco Fuhrman, Ying Hu, Gianmario Tessitore:
Stochastic maximum principle for optimal control of SPDEs. - Adityanand Guntuboyina, Sujayam Saha, Geoffrey Schiebinger:
Sharp Inequalities for $f$-divergences. - Marek Sawerwain, Joanna Wisniewska:
Transfers of entanglement qudit states in quantum networks. - Jakob Ablinger, Johannes Blümlein, Carsten Schneider:
Analytic and Algorithmic Aspects of Generalized Harmonic Sums and Polylogarithms. - Stéphane Le Roux, Arno Pauly:
Closed choice: Cardinality vs convex dimension. - Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh:
Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus. - Mark M. Wilde, Olivier Landon-Cardinal, Patrick M. Hayden:
Towards efficient decoding of classical-quantum polar codes. - Maria Chudnovsky, Peter Maceli:
Ups and downs of the 4-edge path. - Maria Chudnovsky, Peter Maceli, Irena Penev:
Excluding four-edge paths and their complements. - Ping Tak Peter Tang, Eric Polizzi:
Subspace Iteration with Approximate Spectral Projection. - Kristine Harjes, Pavel Naumov:
Functional Dependence in Strategic Games. - Makan Fardad, Fu Lin, Mihailo R. Jovanovic:
Design of optimal sparse interconnection graphs for synchronization of oscillator networks. - Fu Lin, Makan Fardad, Mihailo R. Jovanovic:
Algorithms for leader selection in stochastically forced consensus networks. - Xue-Wen Wang, Li-Jie Zhang, Guo-Hong Yang, Xin-Jian Xu:
Modeling competition between vigorousness and dormancy in citation networks. - Sergio Callegari, Gianluca Setti, Peter J. Langlois:
A CMOS Tailed Tent Map for the Generation of Uniformly Distributed Chaotic Sequences. - Alessio Cardillo, Giovanni Petri, Vincenzo Nicosia, Roberta Sinatra, Jesús Gómez-Gardeñes, Vito Latora:
Evolutionary dynamics of time-resolved social interactions. - Anmer Daskin, Ananth Grama, Sabre Kais:
A Universal Quantum Circuit Scheme For Finding Complex Eigenvalues of Non-unitary Matrices. - Christian Himpe, Mario Ohlberger:
Cross-Gramian Based Combined State and Parameter Reduction. - Petter Holme:
Epidemiologically optimal static networks from temporal network data. - Marius Buliga:
On graphic lambda calculus and the dual of the graphic beta move. - Brian Baingana, Georgios B. Giannakis:
Centrality-constrained graph embedding. - Ping Li, Cun-Hui Zhang:
Exact Sparse Recovery with L0 Projections. - Nadir Farhi, Maurice Goursat, Jean-Pierre Quadrat:
The Traffic Phases of Road Networks. - Markus Grassl, Martin Roetteler:
Leveraging Automorphisms of Quantum Codes for Fault-Tolerant Quantum Computation. - Iasson Karafyllis, Miroslav Krstic:
On the Relation of Delay Equations to First-Order Hyperbolic Partial Differential Equations. - Zaid J. Towfic, Jianshu Chen, Ali H. Sayed:
Excess-Risk Analysis of Distributed Stochastic Learners. - Julian J. Rimoli, Juan J. Rojas:
Meshing strategies for the alleviation of mesh-induced effects in cohesive element models. - Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren:
A preliminary univalent formalization of the p-adic numbers. - Raj Rao Nadakuditi:
When are the most informative components for inference also the principal components? - Andris Ambainis, Janis Iraids, Juris Smotrovs:
Exact quantum query complexity of EXACT and THRESHOLD. - (Withdrawn) Three-player entangled XOR games are NP-hard to approximate.
- Tomoaki Okayama:
Error Estimates with Explicit Constants for Sinc Quadrature and Sinc Indefinite Integration over Infinite Intervals. - Jiri Lebl:
Addendum to Uniqueness of certain polynomials constant on a line. - Bo Thiesson:
Score and Information for Recursive Exponential Models with Incomplete Data. - Sébastien Bubeck, Vianney Perchet, Philippe Rigollet:
Bounded regret in stochastic multi-armed bandits. - Naoki Chigira, Masaaki Harada, Masaaki Kitazume:
On the Classification of Extremal Doubly Even Self-Dual Codes with 2-Transitive Automorphism Group. - Fernando González, Lluís A. Belanche Muñoz:
Feature Selection for Microarray Gene Expression Data using Simulated Annealing guided by the Multivariate Joint Entropy. - Sindhu Chitikela:
Intensity and State Estimation in Quantum Cryptography. - Alexey A. Kovalev, Ilya Dumer, Leonid P. Pryadko:
Linked-Cluster Technique for Finding the Distance of a Quantum LDPC Code. - Martin Peternell, Lukas Gotthart, J. Rafael Sendra, Juana Sendra:
The Relation Between Offset and Conchoid Constructions. - Jesse L. Silverberg, Matthew Bierbaum, James P. Sethna, Itai Cohen:
Collective Motion of Moshers at Heavy Metal Concerts. - Christoph Aistleitner:
Normal numbers and normality measure. - Minh Dang Doan, Pontus Giselsson, Tamás Keviczky, Bart De Schutter, Anders Rantzer:
A distributed accelerated gradient algorithm for distributed model predictive control of a hydro power valley. - Zdenek Dvorák, Daniel Král, Robin Thomas:
Three-coloring triangle-free graphs on surfaces II. 4-critical graphs in a disk. - Omid Kavehei, Hosung Chun, Damith Chinthana Ranasinghe, Stan Skafidas:
mrPUF: A Memristive Device based Physical Unclonable Function. - Fan Yang:
Expressing Second-order Sentences in Intuitionistic Dependence Logic. - Sinuk Kang:
A sampling theorem on shift-invariant spaces associated with the fractional Fourier transform domain. - David Avis, Hans Raj Tiwary:
On the extension complexity of combinatorial polytopes. - Jan Bendtsen, Srinivas Sridharan:
Efficient Desynchronization of Thermostatically Controlled Loads. - Tao Wang, Yaqiong Zhang:
Acyclic edge coloring of graphs. - Markus Lohrey, Benjamin Steinberg, Georg Zetzsche:
Rational Subsets and Submonoids of Wreath Products. - Pavlin Mavrodiev, Claudio J. Tessone, Frank Schweitzer:
Quantifying the effects of social influence. - F. Molnár Jr., Sameet Sreenivasan, Boleslaw K. Szymanski, György Korniss:
Minimum Dominating Sets in Scale-Free Network Ensembles. - Lauri Kovanen, Kimmo Kaski, János Kertész, Jari Saramäki:
Temporal motifs reveal homophily, gender-specific patterns and group talk in mobile communication networks. - Olivier Catoni, Thomas Mainguy:
Toric grammars: a new statistical approach to natural language modeling. - Eugenij Moiseevich Mirkes, Andrei Yu. Zinovyev, Alexander N. Gorban:
Geometrical complexity of data approximators. - Wei Han, Alexander Rakhlin, Karthik Sridharan:
Competing With Strategies. - Hong Zhang, Adrian Sandu:
Implicit-explicit DIMSIM time stepping algorithms. - Mohammadreza Jooyandeh, Brendan D. McKay, Patric R. J. Östergård, Ville Pettersson, Carol T. Zamfirescu:
Planar Hypohamiltonian Graphs on 40 Vertices. - J. A. Miszczak, M. Wahl:
RandFile package for Mathematica for accessing file-based sources of randomness. - Michael Golosovsky, Sorin Solomon:
The transition towards immortality: non-linear autocatalytic growth of citations to scientific papers. - Claudio Chamon, Eduardo R. Mucciolo:
Renyi entropies as a measure of the complexity of counting problems. - Andrea Baronchelli, Nick Chater, Romualdo Pastor-Satorras, Morten H. Christiansen:
The Biological Origin of Linguistic Diversity. - Ryul Kim, Okhyon Song, Hyon-Chol Ri:
Some Properties of Generalized Self-reciprocal Polynomials over Finite Fields. - Micha Sharir, Adam Sheffer:
Distinct distances on two lines. - Laszlo Gyongyosi, Sándor Imre:
Concatenated Capacity-Achieving Polar Codes for Optical Quantum Channels. - Laszlo Gyongyosi:
Polaractivation of Hidden Private Classical Capacity Region of Quantum Channels. - Laszlo Gyongyosi:
Local Operations can Generate Quantum Entanglement: The Correlation Conversion Property of Quantum Channels. - Alessandro Chessa, Andrea Morescalchi, Fabio Pammolli, Orion Penner, Alexander M. Petersen, Massimo Riccaboni:
Is Europe Evolving Toward an Integrated Research Area? - Chol-Rim Min, Won-Hak Ri, Hyong-Chol O:
Equiaffine Structure and Conjugate Ricci-symmetry of a Statistical Manifold. - John C. Duchi, Michael I. Jordan, Martin J. Wainwright:
Local Privacy and Statistical Minimax Rates. - Olivier Bichler, Weisheng Zhao, Fabien Alibart, Stéphane Pleutin, Stéphane Lenfant, Dominique Vuillaume, Christian Gamrat:
Pavlov's dog associative learning demonstrated on synaptic-like organic transistors. - Lewis Mitchell, Kameron Decker Harris, Morgan R. Frank, Peter Sheridan Dodds, Christopher M. Danforth:
The Geography of Happiness: Connecting Twitter sentiment and expression, demographics, and objective characteristics of place. - David M. South:
The DPHEP Study Group: Data Preservation in High Energy Physics. - Azadeh Khaleghi, Daniil Ryabko:
A consistent clustering-based approach to estimating the number of change-points in highly dependent time-series. - Charalambos D. Charalambous, Nasir Uddin Ahmed:
Centralized Versus Decentralized Team Games of Distributed Stochastic Differential Decision Systems with Noiseless Information Structures-Part II: Applications. - Xin Yuan, Jianbo Yang, Patrick Llull, Xuejun Liao, Guillermo Sapiro, David J. Brady, Lawrence Carin:
Adaptive Temporal Compressive Sensing for Video. - Charalambos D. Charalambous, Nasir Uddin Ahmed:
Centralized Versus Decentralized Team Games of Distributed Stochastic Differential Decision Systems with Noiseless Information Structures-Part I: General Theory. - J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang:
The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing. - Endre Boros, Vladimir Gurvich, Martin Milanic:
On CIS Circulants. - Dmitri V. Krioukov, Massimo Ostilli:
Duality between equilibrium and nonequilibrium networks. - Éva Czabarka, Aaron Dutle, Péter L. Erdös, István Miklós:
On Realizations of a Joint Degree Matrix. - Stephen G. Hartke, Derrick Stolee:
A Branch-and-Cut Strategy for the Manickam-Miklos-Singhi Conjecture. - George H. Chen, Stanislav Nikolov, Devavrat Shah:
A Latent Source Model for Online Time Series Classification. - Bent Flyvbjerg:
From Nobel Prize to Project Management: Getting Risks Right. - Jason F. Hammond, Elizabeth J. Stewart, John G. Younger, Michael J. Solomon, David M. Bortz:
Spatially Heterogeneous Biofilm Simulations using an Immersed Boundary Method with Lagrangian Nodes Defined by Bacterial Locations. - John A. Quinn, Masashi Sugiyama:
Density Ratio Hidden Markov Models. - Anna E. Frid, Damien Jamet:
The number of binary rotation words. - Gabriela Olteanu, Inneke Van Gelder:
Construction of minimal non-abelian left group codes. - Emilie Charlier, Teturo Kamae, Svetlana Puzynina, Luca Q. Zamboni:
Self-Shuffling Words. - Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros:
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. - Eduardo G. Altmann, Zakary L. Whichard, Adilson E. Motter:
Identifying trends in word frequency dynamics. - Ryosuke Nishi, Naoki Masuda:
A collective opinion formation model under Bayesian updating and confirmation bias. - Michal Jamróz, Andrzej Kolinski:
ClusCo: clustering and comparison of protein models. - Adam Bjorndahl:
Subset Space Public Announcement Logic Revisited. - James Kim:
Note on the Complex Networks and Epidemiology Part I: Complex Networks. - Abdou M. Abdel-Rehim, Andreas Stathopoulos, Kostas Orginos:
Extending the eigCG algorithm to nonsymmetric Lanczos for linear systems with multiple right-hand sides. - Matheus P. Viana, Diego R. Amancio, Luciano da Fontoura Costa:
On time-varying collaboration networks. - Diego R. Amancio, Osvaldo N. Oliveira Jr., Luciano da Fontoura Costa:
Three-feature model to reproduce the topology of citation networks and the effects from authors' visibility on their h-index. - Diego R. Amancio, Osvaldo N. Oliveira Jr., Luciano da F. Costa:
Identification of Literary Movements Using Complex Networks to Represent Texts. - Diego R. Amancio, Osvaldo N. Oliveira Jr., Luciano da Fontoura Costa:
Using Complex Networks to Quantify Consistency in the Use of Words. - Ching-Yi Lai, Todd A. Brun, Mark M. Wilde:
Duality in Entanglement-Assisted Quantum Error Correction. - Andrew Gordon Wilson, Ryan Prescott Adams:
Gaussian Process Covariance Kernels for Pattern Discovery and Extrapolation. - Greg Kuperberg, Shachar Lovett, Ron Peled:
Probabilistic existence of regular combinatorial structures. - Purushottam Kar, Harish Karnick:
On Translation Invariant Kernels and Screw Functions. - Sergey V. Avgustinovich, Svetlana Puzynina:
Weak abelian periodicity of infinite words. - Armen E. Allahverdyan, Weibing Deng, Qiuping A. Wang:
Explaining Zipf's Law via Mental Lexicon. - Ian J. Goodfellow, David Warde-Farley, Mehdi Mirza, Aaron C. Courville, Yoshua Bengio:
Maxout Networks. - Oscar Martinez-Rubi, V. K. Veligatla, A. G. de Bruyn, P. Lampropoulos, André R. Offringa, V. Jelic, Sarod Yatawatta, L. V. E. Koopmans, Saleem Zaroubi:
LEDDB: LOFAR Epoch of Reionization Diagnostic Database. - Diego R. Amancio, Osvaldo N. Oliveira Jr., Luciano da Fontoura Costa:
Unveiling the relationship between complex networks metrics and word senses. - Thiago C. Silva, Diego R. Amancio:
Word sense disambiguation via high order of learning in complex networks. - Diego R. Amancio, Sandra M. Aluísio, Osvaldo N. Oliveira Jr., Luciano da Fontoura Costa:
Complex networks analysis of language complexity. - Diego R. Amancio, Osvaldo N. Oliveira Jr., Luciano da Fontoura Costa:
On the use of topological features and hierarchical characterization for disambiguating names in collaborative networks. - Kirana Kumara P.:
Extracting Three Dimensional Surface Model of Human Kidney from the Visible Human Data Set using Free Software. - Konstantin Klemm:
Searchability of central nodes in networks. - Olivier Coulaud, Patrice Bordat, Pierre Fayon, Vincent Lebris, Isabelle Baraille, Ross Brown:
Extensions of the siesta dft code for simulation of molecules. - Dömötör Pálvölgyi, András Gyárfás:
Domination in transitive colorings of tournaments. - Brian Macdonald, William R. Pulleyblank:
Realignment in the NHL, MLB, the NFL, and the NBA. - Yongcan Cao, Wei Ren:
Finite-time Consensus for Multi-agent Networks with Unknown Inherent Nonlinear Dynamics. - Paulo Urriza, Eric Rebeiz, Danijela Cabric:
Optimal Discriminant Functions Based On Sampled Distribution Distance for Modulation Classification. - Mohammad Shahzad, Félix Mora-Camino, Jules Ghislain Slama, Karim Achaibou:
Trajectory generation and display for free flight. - Alina Sîrbu, Vittorio Loreto, Vito Domenico Pietro Servedio, Francesca Tria:
Cohesion, consensus and extreme information in opinion dynamics. - Aleksandr Y. Aravkin, Rajiv Mittal, Hassan Mansour, Ben Recht, Felix J. Herrmann:
An SVD-free Pareto curve approach to rank minimization. - David Duvenaud, James Robert Lloyd, Roger B. Grosse, Joshua B. Tenenbaum, Zoubin Ghahramani:
Structure Discovery in Nonparametric Regression through Compositional Kernel Search. - Zdenek Dvorák, Ken-ichi Kawarabayashi, Robin Thomas:
Three-coloring triangle-free planar graphs in linear time. - Oren Rippel, Ryan Prescott Adams:
High-Dimensional Probability Estimation with Deep Density Models. - Stéphane Gaubert, Zheng Qu:
Dobrushin ergodicity coefficient for Markov operators on cones, and beyond. - Naresh Sharma, Naqueeb Ahmad Warsi:
Fundamental bound on the reliability of quantum information transmission. - Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh, Christophe Tollu, Bùi Chiên, Nguyen Hoang Nghia:
Combinatorics of $φ$-deformed stuffle Hopf algebras. - Noah Linden, Mary Beth Ruskai, Andreas J. Winter:
The Quantum Entropy Cone of Stabiliser States. - Dieter Rautenbach, Jean-Sébastien Sereni:
Transversals of Longest Paths and Cycles. - Rainer Reisenauer, Kenny Smith, Richard A. Blythe:
Statistical mechanics of lexicon learning in an uncertain and nonuniform world. - Patrick Héas, Frédéric Lavancier, Souleymane Kadri Harouna:
Self-similar prior and wavelet bases for hidden incompressible turbulent motion. - Tobias Glasmachers, Ürün Dogan:
Accelerated Linear SVM Training with Adaptive Variable Selection Frequencies. - Giuliano Gadioli La Guardia:
Asymmetric Quantum Codes: New Codes from Old. - Felix Günther, Irina Mustata:
On a game on graphs. - Tanmoy Chakraborty, Sriram Srinivasan, Niloy Ganguly, Sanjukta Bhowmick, Animesh Mukherjee:
Constant Communities in Complex Networks. - Andrew Lucas:
Ising formulations of many NP problems. - Liang Wang, Ke Hu, Yi Tang:
Robustness of Link-prediction Algorithm Based on Similarity and Application to Biological Networks. - Rodolfo Baggio:
Studying complex tourism systems: a novel approach based on networks derived from a time series. - Xiao-Long Peng, Xin-Jian Xu, Xinchu Fu, Tao Zhou:
Vaccination intervention on epidemic dynamics in networks. - Shantanav Chakraborty, Satyabrata Adhikari:
Non-classical Correlations in the Quantum Search Algorithm. - Matthieu Fradelizi, Arnaud Marsiglietti:
On the analogue of the concavity of entropy power in the Brunn-Minkowski theory. - Paul Escande, Pierre Weiss, François Malgouyres:
Image restoration using sparse approximations of spatially varying blur operators in the wavelet domain. - Janis Noetzel:
The depolarising channel and Horns problem. - Robert Azencott, Arjun Beri, Yutheeka Gadhyan, Nicolas Joseph, Charles-Albert Lehalle, Matthew Rowley:
Realtime market microstructure analysis: online Transaction Cost Analysis. - Markus Kriegl:
Module Border Bases. - Mohammed El Anbari, Abdallah Mkhadri:
The adaptive Gril estimator with a diverging number of parameters. - Michael Schreiber:
How to derive an advantage from the arbitrariness of the g-index. - Jing Lei, Alessandro Rinaldo, Larry A. Wasserman:
A Conformal Prediction Approach to Explore Functional Data. - Jirí Matousek:
Near-optimal separators in string graphs. - James R. Lee, Mohammad Moharrami:
A lower bound on dimension reduction for trees in \ell_1. - Heather A. Harrington, Mariano Beguerisse-Díaz, M. Puck Rombach, Laura M. Keating, Mason A. Porter:
Teach Network Science to Teenagers. - Qian Zhang, Nicola Perra, Bruno Gonçalves, Fabio Ciulla, Alessandro Vespignani:
Characterizing scientific production and consumption in Physics. - Michael Schreiber:
A Case Study of the Arbitrariness of the h-Index and the Highly-Cited-Publications Indicator. - Qiang Liu, Alexander Ihler:
Variational Algorithms for Marginal MAP. - Venkatesan Guruswami, Chaoping Xing:
Optimal rate algebraic list decoding using narrow ray class fields. - Benjamin M. Good, Andrew I. Su:
Crowdsourcing for Bioinformatics. - Gil Shabat, Yaniv Shmueli, Amir Averbuch:
Missing Entries Matrix Approximation and Completion. - William B. Poland, Ross D. Shachter:
Three Approaches to Probability Model Selection. - Victor Bapst, Guilhem Semerjian, Francesco Zamponi:
The effect of quantum fluctuations on the coloring of random graphs. - Jacob G. Foster, Andrey Rzhetsky, James A. Evans:
Tradition and Innovation in Scientists' Research Strategies. - David Gross, Michael Walter:
Stabilizer information inequalities from phase space distributions. - Evangelos E. Papalexakis, Tom M. Mitchell, Nicholas D. Sidiropoulos, Christos Faloutsos, Partha Pratim Talukdar, Brian Murphy:
Scoup-SMT: Scalable Coupled Sparse Matrix-Tensor Factorization. - Achilles Beros:
Learning Theory in the Arithmetic Hierarchy. - Vincenzo Nicosia, Ginestra Bianconi, Vito Latora, Marc Barthelemy:
Growing multiplex networks. - Hado van Hasselt:
Estimating the Maximum Expected Value: An Analysis of (Nested) Cross Validation and the Maximum Sample Average. - Jacob Fox, János Pach:
Applications of a new separator theorem for string graphs. - Eric F. Lock, David B. Dunson:
Bayesian Consensus Clustering. - Andrew M. Childs, Stacey Jeffery, Robin Kothari, Frédéric Magniez:
A Time-Efficient Quantum Walk for 3-Distinctness Using Nested Updates. - Zhengjia Chen, Xinjia Chen:
Exact Methods for Multistage Estimation of a Binomial Proportion. - David Gosset, Daniel Nagaj:
Quantum 3-SAT is QMA1-complete. - Alexei G. Myasnikov, Andrey Nikolaev, Alexander Ushakov:
Knapsack Problems in Groups. - Tina Kapur, Jan Egger, Antonio Damato, Ehud J. Schmidt, Akila N. Viswanathan:
3T MR-Guided Brachytherapy for Gynecologic Malignancies.
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.