default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, July 2011
- Kundan Singh, Carol Davids:
Flash-based Audio and Video Communication in the Cloud. - Jitesh Dundas
:
Automaton based detection of affected cells in three dimensional biological system. - Ahmed Al-Ani, Mohamed A. Deriche:
A New Technique for Combining Multiple Classifiers using The Dempster-Shafer Theory of Evidence. - Silvia Acid, Luis M. de Campos:
Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs. - Orna Grumberg, Shlomi Livne, Shaul Markovitch:
Learning to Order BDD Variables in Verification. - William E. Walsh, Michael P. Wellman:
Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis. - Dov Monderer, Moshe Tennenholtz:
K-Implementation. - Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole:
CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements. - Adnan Darwiche, James D. Park:
Complexity Results and Approximation Strategies for MAP Explanations. - Stefan Edelkamp:
Taming Numbers and Durations in the Model Checking Integrated Planning System. - Mark-Jan Nederhof, Giorgio Satta:
IDL-Expressions: A Formalism for Representing and Parsing Finite Languages in Natural Language Processing. - Tomas Kocka, Nevin Lianwen Zhang:
Effective Dimensions of Hierarchical Latent Class Models. - Moshe Babaioff, Noam Nisan:
Concurrent Auctions Across The Supply Chain. - Mehmet H. Göker, Pat Langley, Cynthia A. Thompson:
A Personalized System for Conversational Recommendations. - Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen:
Coherent Integration of Databases by Abductive Logic Programming. - Peter Gorniak, Deb Roy:
Grounded Semantic Composition for Visual Scenes. - Michael H. Bowling, Manuela M. Veloso:
Existence of Multiagent Equilibria with Limited Agents. - Kevin M. Lochner, Daniel M. Reeves, Yevgeniy Vorobeychik, Michael P. Wellman:
Price Prediction in a Trading Agent Competition. - Jeroen Keppens, Qiang Shen:
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences. - Allan Borodin, Ran El-Yaniv, Vincent Gogan:
Can We Learn to Beat the Best Stock. - Risto Miikkulainen, Kenneth O. Stanley:
Competitive Coevolution through Evolutionary Complexification. - Brahim Hnich, Barbara M. Smith, Toby Walsh:
Dual Modelling of Permutation and Injection Problems. - Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes:
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. - Asaph Ben-Yair, Ariel Felner, Sarit Kraus, Nathan S. Netanyahu, Roni Stern:
PHA*: Finding the Shortest Path with A* in An Unknown Physical Environment. - Nevin Lianwen Zhang, Weihong Zhang:
Restricted Value Iteration: Theory and Algorithms. - David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin:
A Maximal Tractable Class of Soft Constraints. - Paul Beame, Henry A. Kautz, Ashish Sabharwal:
Towards Understanding and Harnessing the Potential of Clause Learning. - Claudette Cayrol, Marie-Christine Lagasquie-Schiex:
Graduality in Argumentation. - Philip Derbeko, Ran El-Yaniv, Ron Meir:
Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms. - Claudia V. Goldman, Shlomo Zilberstein:
Decentralized Control of Cooperative Systems: Categorization and Complexity Analysis. - Enric Celaya, Josep M. Porta:
Reinforcement Learning for Agents with Many Sensors and Actuators Acting in Categorizable Environments. - Ariel Felner, Sarit Hanan, Richard E. Korf:
Additive Pattern Database Heuristics. - Ron Begleiter, Ran El-Yaniv, Golan Yona:
On Prediction Using Variable Order Markov Models. - Jörg Hoffmann, Julie Porteous, Laura Sebastia:
Ordered Landmarks in Planning. - Geoffrey J. Gordon, Nicholas Roy, Sebastian Thrun:
Finding Approximate POMDP solutions Through Belief Compression. - William P. Birmingham, Colin Meek:
A Comprehensive Trainable Error Model for Sung Music Queries. - Weixiong Zhang:
Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem. - Victor A. Campos, Cláudia Linhares Sales, Ana Karolinna Maia, Nicolas Almeida Martins, Rudini Menezes Sampaio:
Fixed parameter algorithms for restricted coloring problems: acyclic, star, nonrepetitive, harmonious and clique colorings. - Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus:
Optimal Multi-Robot Path Planning with Temporal Logic Constraints. - Peter Csaba Ölveczky:
Formal Model Engineering for Embedded Systems Using Real-Time Maude. 3-13 - Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju:
Rascal: From Algebraic Specification to Meta-Programming. 15-32 - Bertrand Boisvert, Louis Féraud, Sergei Soloviev:
Typed lambda-terms in categorical attributed graph transformation. 33-47 - Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera:
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies. 49-63 - Suzana Andova, Mark van den Brand, Luc Engelen:
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models. 65-79 - Francisco Durán, Martin Gogolla, Manuel Roldán:
Tracing Properties of UML and OCL Models with Maude. 81-97 - Feng Jiang, A. Lee Swindlehurst:
Optimization of UAV Heading for the Ground-to-Air Uplink. - Marcel Kenji de Carli Silva, Nicholas J. A. Harvey, Cristiane M. Sato:
Sparse Sums of Positive Semidefinite Matrices. - Junyi Chai, James N. K. Liu:
Towards a Reliable Framework of Uncertainty-Based Group Decision Support System. - Alexander Y. Davydov:
A Probabilistic Attack on NP-complete Problems. - Wolfgang Mulzer, Daniel Werner:
Approximating Tverberg Points in Linear Time for Any Fixed Dimension. - Swadesh Choudhary, Hrishikesh Sharma, Sachin Patkar:
Optimal Folding of Data Flow Graphs based on Finite Projective Geometry using Lattice Embedding. - Vladimir Kurbalija, Milos Radovanovic, Zoltan Geler, Mirjana Ivanovic:
The Influence of Global Constraints on Similarity Measures for Time-Series Databases. - Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena:
Human Activity Detection from RGBD Images. - Markus Chimani, Martin Derka, Petr Hlinený, Matej Klusácek:
How Not to Characterize Planar-emulable Graphs. - Max Cerf:
Multiple Space Debris Collecting Mission - Debris selection and Trajectory optimization. - Jordi Fortuny Andreu, Bernat Corominas-Murtra:
On ambiguity. Its locus in the architecture of Language and its origin in efficient communication. - Jitesh Dundas:
Law of Connectivity in Machine Learning. - Antonio Fernández Anta, Miguel A. Mosteiro, Jorge Ramón Muñoz:
Unbounded Contention Resolution in Multiple-Access Channels. - Mladen Nikolic, Filip Maric, Predrag Janicic:
Simple Algorithm Portfolio for SAT. - Thomas Ågotnes, Natasha Alechina:
Completeness of Epistemic Coalition Logic with Group Knowledge. - Ali Osmane, Jean-Claude Belfiore:
The Compute-and-Forward Protocol: Implementation and Practical Aspects. - Hugues Randriambololona:
Bilinear complexity of algebras and the Chudnovsky-Chudnovsky interpolation method. - Alexei Lisitsa:
First-order finite satisfiability vs tree automata in safety verification. - David Insa, Josep Silva:
Optimal Divide and Query (extended version). - Samuel Fiorini, Thomas Rothvoß, Hans Raj Tiwary:
Extended formulations for polygons. - Ishay Haviv, Michael Langberg:
On Linear Index Coding for Random Graphs. - Oleg Kupervasser:
A navigation filter for fusing DTM/correspondence updates. - Zuleita Ka Ming Ho, David Gesbert, Eduard A. Jorswieck, Rami Mochaourab:
Beamforming on the MISO interference channel with multi-user decoding capability. - Christoph Studer, Richard G. Baraniuk:
Stable Restoration and Separation of Approximately Sparse Signals. - Masahiro Kumabe, H. Reiju Mihara:
Preference aggregation theory without acyclicity: The core without majority dissatisfaction. - H. Reiju Mihara:
The second-price auction solves King Solomon's dilemma. - Adrian Silvescu, Vasant G. Honavar:
Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction. - Masahiro Kumabe, H. Reiju Mihara:
The Nakamura numbers for computable simple games. - Noam Presman, Ofer Shapira, Simon Litsyn:
Polar Codes with Mixed Kernels. - Andrew Tausz, Gunnar E. Carlsson:
Homological Coordinatization. - Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'h, Jean-Luc Dekeyser, Yvonnick Le Menach:
Automatic Multi-GPU Code Generation applied to Simulation of Electrical Machines. - Nicolas Brodu, Dimitri Lague:
3D Terrestrial LiDAR data classification of complex natural scenes using a multi-scale dimensionality criterion: applications in geomorphology. - Pablo Barceló, Leonid Libkin, Juan L. Reutter:
Parameterized Regular Expressions and their Languages. - José Antonio Álvarez-Bermejo, Juan Antonio López Ramos, Joachim Rosenthal, Davide Schipani:
Managing key multicasting through orthogonal systems. - Achaleshwar Sahai, Gaurav Patel, Ashutosh Sabharwal:
Pushing the limits of Full-duplex: Design and Real-time Implementation. - Christian Glaßer, Christian Reitwießner, Maximilian Witek:
Applications of Discrepancy Theory in Multiobjective Approximation. - Itsik Bergel, Sergio Benedetto:
Bounds on the capacity of OFDM underspread frequency selective fading channels. - Patrick Bahr:
Infinitary Term Graph Rewriting. - Xin Shuai, Ying Ding, Jerome R. Busemeyer, Yuyin Sun, Shanshan Chen, Jie Tang:
Does Quantum Interference exist in Twitter? - Salvatore Catanese, Emilio Ferrara, Giacomo Fiumara, Francesco Pagano:
A Framework for Designing 3D Virtual Environments. - Mieke Massink, Gethin Norman:
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. EPTCS 57, 2011 [contents] - Lester W. Mackey, Ameet Talwalkar, Michael I. Jordan:
Divide-and-Conquer Matrix Factorization. - Petr Hlinený, Ondrej Moris:
Generalized Maneuvers in Route Planning. - Oren Salzman, Michael Hemmer, Barak Raveh, Dan Halperin:
Motion Planning via Manifold Samples. - Suprijadi, Thomas Muliawan, Sparisoma Viridi:
Automatic Road Lighting System (ARLS) Model Based on Image Processing of Moving Object. - Charilaos Efthymiou:
A simple algorithm for random colouring G(n, d/n) using (2+ε)d colours. - Aparna Das, Emden R. Gansner, Michael Kaufmann, Stephen G. Kobourov, Joachim Spoerhase, Alexander Wolff:
Approximating Minimum Manhattan Networks in Higher Dimensions. - Stefan Göller, Markus Lohrey:
The First-Order Theory of Ground Tree Rewrite Graphs. - Yucheng Low, Joseph Gonzalez, Aapo Kyrola, Danny Bickson, Carlos Guestrin:
GraphLab: A Distributed Framework for Machine Learning in the Cloud. - Joey Paquet, Serguei A. Mokhov:
Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing. - Gyan Ranjan, Zhi-Li Zhang:
Geometry of Complex Networks and Topological Centrality. - Samuel Epstein, Margrit Betke:
An Information Theoretic Representation of Agent Dynamics as Set Intersections. - Danny Z. Chen, Xuehou Tan, Haitao Wang, Gangshan Wu:
Optimal Point Movement for Covering Circular Regions. - Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens:
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution. - Junyi Chai, James N. K. Liu:
A Novel Multicriteria Group Decision Making Approach With Intuitionistic Fuzzy SIR Method. - Sarif Sk. Hassan, Ananya Roy, Pabitra Pal Choudhury, Birendra Kumar Nayak:
Integral Value Transformations: A Class of Discrete Dynamical Systems. - Arijit Ukil, Jaydip Sen, Debasish Bera:
Dynamic OFDMA Resource Allocation for QoS Guarantee and System Optimization of Best Effort and Non Real-time Traffic. - Sylvia C. Boyd, René Sitters, Suzanne van der Ster, Leen Stougie:
The traveling salesman problem on cubic and subcubic graphs. - Ranch Y. Q. Lai:
Online Vehicle Detection For Estimating Traffic Status. - Michael Backes, Ian Goldberg, Aniket Kate, Tomas Toft:
Adding Query Privacy to Robust DHTs. - Antoine Thomas, Aïda Ouangraoua, Jean-Stéphane Varré:
Genome Halving by Block Interchange. - Basanna V. Dhandra, Mallikarjun Hangarge, Gururaj Mukarambi:
Spatial Features for Multi-Font/Multi-Size Kannada Numerals and Vowels Recognition. - Steven Meyer:
Breaking GSM with rainbow Tables. - Antonio Fernández Anta, Andrés Sevilla, Alberto Mozo:
Distance-based Node Sampling using Drifting Random Walks. - Steven Meyer:
Selling train tickets by SMS. - Steven Meyer:
Misbehavior in Mobile Application Markets. - Samur Araújo, Jan Hidders, Daniel Schwabe, Arjen P. de Vries:
SERIMI - Resource Description Similarity, RDF Instance Matching and Interlinking. - Christoph Hertzberg, René Wagner, Udo Frese, Lutz Schröder:
Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds. - Shreeniwas Sapre, Hrishikesh Sharma, Abhishek Patil, B. S. Adiga, Sachin Patkar:
Finite Projective Geometry based Fast, Conflict-free Parallel Matrix Computations. - K. R. Seeja:
AISMOTIF-An Artificial Immune System for DNA Motif Discovery. - X. Chen, M. Chen, B. Li, Y. Zhao, Y. Wu, J. Li:
Celerity: A Low-Delay Multi-Party Conferencing Solution. - Mathieu Hoyrup:
The dimension of ergodic random sequences. - Anastasios Giovanidis, Qi Liao, Slawomir Stanczak:
Measurement Based Self-Optimization in Random Access Communications. - Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser:
Locally monotone Boolean and pseudo-Boolean functions. - Carlo Bellettini, Lorenzo Capra:
Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach. - Stefan Szeider:
Not So Easy Problems for Tree Decomposable Graphs. - Florian Leitner-Fischer, Stefan Leue:
QuantUM: Quantitative Safety Analysis of UML Models. 16-30 - Michal Rutkowski:
Two-Player Reachability-Price Games on Single-Clock Timed Automata. 31-46 - Bogdan Aman, Gabriel Ciobanu:
Time Delays in Membrane Systems and Petri Nets. 47-60 - Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Real-Reward Testing for Probabilistic Processes (Extended Abstract). 61-73 - Lei Song, Flemming Nielson, Bo Friis Nielsen:
A Stochastic Broadcast Pi-Calculus. 74-88 - Daniel Seidel, Janis Voigtländer:
Improvements for Free. 89-103 - Joseph Assouramou, Josée Desharnais:
Analysis of Non-Linear Probabilistic Hybrid Systems. 104-119 - Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen:
Distances for Weighted Transition Systems: Games and Properties. 134-147 - Mathieu Tracol, Josée Desharnais, Abir Zhioua:
Computing Distances between Probabilistic Automata. 148-162 - David Balduzzi:
On the information-theoretic structure of distributed measurements. 28-42 - Luca Bortolussi, Vashti Galpin, Jane Hillston:
HYPE with stochastic events. 120-133 - Thomas Watson:
Lift-and-Project Integrality Gaps for the Traveling Salesperson Problem. - Animashree Anandkumar, Vincent Y. F. Tan, Alan S. Willsky:
High-Dimensional Gaussian Graphical Model Selection: Tractable Graph Families. - Melissa Duarte, Chris Dick, Ashutosh Sabharwal:
Experiment-driven Characterization of Full-Duplex Wireless Systems. - Animashree Anandkumar, Kamalika Chaudhuri, Daniel J. Hsu, Sham M. Kakade, Le Song, Tong Zhang:
Spectral Methods for Learning Multivariate Latent Tree Structure. - Christian Wulff-Nilsen:
Separator Theorems for Minor-Free and Shallow Minor-Free Graphs with Applications. - Gabriel Dulac-Arnold, Ludovic Denoyer, Patrick Gallinari:
Text Classification: A Sequential Reading Approach. - Pierre Lescanne:
On counting untyped lambda terms. - Yann Barbotin, Ali Hormati, Sundeep Rangan, Martin Vetterli:
Estimation of Sparse MIMO Channels with Common Support. - Furio Honsell, Marina Lenisa:
Conway games, algebraically and coalgebraically. - Edo Liberty, Shachar Lovett, Omri Weinstein:
On the Furthest Hyperplane Problem and Maximal Margin Clustering. - Nicolas Catusse, Victor Chepoi, Karim Nouioua, Yann Vaxès:
Bidirected minimum Manhattan network problem. - Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll:
Algorithms for Synthesizing Priorities in Component-based Systems. - Jan Obdrzálek, Marek Trtík:
Efficient Loop Navigation for Symbolic Execution. - Romain Couillet, Walid Hachem:
Local failure detection and diagnosis in large sensor networks. - Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki:
The Limited Power of Powering: Polynomial Identity Testing and a Depth-four Lower Bound for the Permanent. - Richard A. Formato:
A novel methodology for antenna design and optimization: Variable Zo. - André Hernich:
Answering Non-Monotonic Queries in Relational Data Exchange. - (Withdrawn) On Sets of High Complexity Strings.
- Oleg Kupervasser, Ronen Lerner, Ehud Rivlin:
Error Analysis for a Navigation Algorithm based on Optical-Flow and a Digital Terrain Map. - Oleg Kupervasser:
Future of artificial intelligence -- Art, not Science. - Robert Louis Cloud, Matthew L. Curry, H. Lee Ward, Anthony Skjellum, Purushotham V. Bangalore:
Accelerating Lossless Data Compression with GPUs. - Fernando Hernando, Diego Ruano:
Decoding of Matrix-Product Codes. - Aria Ghasemian Sahebi, S. Sandeep Pradhan:
Multilevel Polarization of Polar Codes Over Arbitrary Discrete Memoryless Channels. - Jing Huang, A. Lee Swindlehurst:
Cooperative Jamming for Secure Communications in MIMO Relay Networks. - Siming Wei, Zhouchen Lin:
Analysis and Improvement of Low Rank Representation for Subspace segmentation. - Jiadong Wang, Thomas A. Courtade, Tsung-Yi Chen, Bike Xie, Richard D. Wesel:
Designing Nonlinear Turbo Codes with a Target Ones Density. - Naresh Manwani, P. S. Sastry:
Polyceptron: A Polyhedral Learning Algorithm. - Marek Cygan, Marcin Pilipczuk, Michal Pilipczuk, Jakub Onufry Wojtaszczyk:
On Multiway Cut parameterized above lower bounds. - Jichang Zhao, Xu Feng, Li Dong, Xiao Liang, Ke Xu:
Performance of Local Information Based Link Prediction: A Sampling Perspective. - Marco Baldi, Marco Bianchi, Franco Chiaraluce, Joachim Rosenthal, Davide Schipani:
On fuzzy syndrome hashing with LDPC coding. - Jesús Emeterio Navarro-Barrientos:
Formation of Common Investment Networks by Project Establishment between Agents. - Kazushi Mimura:
Linear Complexity Lossy Compressor for Binary Redundant Memoryless Sources. - Ioannis Chatzigiannakis, Apostolos Pyrgelis, Paul G. Spirakis, Yannis C. Stamatiou:
Elliptic Curve Based Zero Knowledge Proofs and Their Applicability on Resource Constrained Devices. - Zhiying Wang, Itzhak Tamo, Jehoshua Bruck:
On Codes for Optimal Rebuilding Access. - Frans Schalekamp, David P. Williamson, Anke van Zuylen:
A Proof of the Boyd-Carr Conjecture. - Jiawei Qian, Frans Schalekamp, David P. Williamson, Anke van Zuylen:
On the Integrality Gap of the Subtour LP for the 1,2-TSP. - Caihong Kai, Soung Chang Liew:
Throughput Computation in CSMA Wireless Networks with Collision Effects. - Stéphane Gaïffas, Guillaume Lecué:
Weighted algorithms for compressed sensing and matrix completion. - A. Taufiq Asyhari, Tobias Koch, Albert Guillen i Fabregas:
Nearest Neighbour Decoding with Pilot-Assisted Channel Estimation for Fading Multiple-Access Channels. - Yipeng Liu, Qun Wan:
Indirect Channel Sensing for Cognitive Amplify-and-Forward Relay Networks. - Michael Baumann, Pierre Mozer, Vincent Daanen, Jocelyne Troccaz:
Prostate biopsy tracking with deformation estimation. - Raju Balakrishnan, Subbarao Kambhampati:
Click Efficiency: A Unified Optimal Ranking for Online Ads and Documents. - Shahid Latif, Rahat Ullah, Hamid Jan:
A Step towards an Easy Interconversion of Various Number Systems. - Monica De Martino, Riccardo Albertoni:
A multilingual/multicultural semantic-based approach to improve Data Sharing in an SDI for Nature Conservation. - Carlos Viegas Damásio, Alun D. Preece, Umberto Straccia:
Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI). - Philip Feinsilver, René Schott:
On Krawtchouk Transforms. - Jakob Hoydis, Stephan ten Brink, Mérouane Debbah:
Massive MIMO: How many antennas do we need? - Anne Driemel, Sariel Har-Peled:
Jaywalking your Dog - Computing the Fréchet Distance with Shortcuts. - Chun-Hung Liu, Jeffrey G. Andrews:
Distributed SIR-Aware Scheduling in Large-Scale Wireless Networks. - Vladimir S. Lerner:
The entropy functional, the information path functional's essentials and their connections to Kolmogorov's entropy, complexity and physics. - Yavor Angelov Parvanov:
Notes on Electronic Lexicography. - Eya Ben Ahmed, Ahlem Nabli, Faïez Gargouri:
A Survey of User-Centric Data Warehouses: From Personalization to Recommendation. - Fatemeh Keshavarz-Kohjerdi, Alireza Bagheri:
Hamiltonian Paths in Two Classes of Grid Graphs. - Ioannis Caragiannis:
Efficient coordination mechanisms for unrelated machine scheduling. - Ragib Hasan, Randal C. Burns:
Where Have You Been? Secure Location Provenance for Mobile Devices. - Ramin Zahedi, Ali Pezeshki, Edwin K. P. Chong:
Measurement Design for Detecting Sparse Signals. - Ka-Hung Hui, Dongning Guo, Randall A. Berry:
Medium Access Control for Wireless Networks with Peer-to-Peer State Exchange. - Bao-Gang Hu, Ran He, Xiaotong Yuan:
Information-Theoretic Measures for Objective Evaluation of Classifications. - Reza Khosravi-Farsani, Farokh Marvasti:
Interference Networks with General Message Sets: A Random Coding Scheme. - Prashant Kushwah, Sunder Lal:
Efficient Identity Based Public Verifiable Signcryption Scheme. - Dohan Kim:
Task swapping networks in distributed systems. - Dohan Kim:
Priority-based task reassignments in hierarchical 2D mesh-connected systems using tableaux. - Jean-Guillaume Dumas, Hicham Hossayni:
Matrix Powers algorithm for trust evaluation in PKI architectures. - Premkumar Karumbu, Xiaomin Chen, Douglas J. Leith:
Utility Optimal Coding for Packet Transmission over Wireless Networks - Part I: Networks of Binary Symmetric Channels. - Premkumar Karumbu, Xiaomin Chen, Douglas J. Leith:
Utility Optimal Coding for Packet Transmission over Wireless Networks - Part II: Networks of Packet Erasure Channels. - Alexander Sviridenko, Oleg Shcherbina:
Benchmarking ordering techniques for nonserial dynamic programming. - Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
Propositional equality, identity types, and direct computational paths. - Sleiman Rabah, Dan Ni, Payam Jahanshahi, Luis Felipe Guzman:
Current State and Challenges of Automatic Planning in Web Service Composition. - Stefano Ferretti, Vittorio Ghini:
Scale-Free Opportunistic Networks: is it Possible? - Hong-Ning Dai, Soung Chang Liew, Liqun Fu:
Link Scheduling in Multi-Transmit-Receive Wireless Networks. - T. R. Gopalakrishnan Nair, Kavitha Sooda, M. B. Yashoda:
Enhanced Genetic Algorithm approach for Solving Dynamic Shortest Path Routing Problems using Immigrants and Memory Schemes. - Yen-Huan Li, Ping-Cheng Yeh:
An Interpretation of the Moore-Penrose Generalized Inverse of a Singular Fisher Information Matrix. - (Withdrawn) Region-based Approach for Determining the Optimal Path Using PSO.
- T. R. Gopalakrishnan Nair, Meenakshi Malhotra:
Knowledge Embedding and Retrieval Strategies in an Informledge System. - T. R. Gopalakrishnan Nair, Kavitha Sooda:
Particle Swarm Optimization for Realizing Intelligent Routing in Networks with Quality Grading. - T. R. Gopalakrishnan Nair, B. R. Shubhamangala, M. Vaidehi:
A Novel Agent Based Approach for Controlling Network Storms. - T. R. Gopalakrishnan Nair, Meenakshi Malhotra:
Informledge System: A Modified Knowledge Network with Autonomous Nodes using Multi-lateral Links. - Eden Chlamtac, Ishay Haviv:
Linear Index Coding via Semidefinite Programming. - Martin Mundhenk, Felix Weiss:
Intuitionistic implication makes model checking hard. - T. R. Gopalakrishnan Nair, Kavitha Sooda:
A Novel Adaptive Routing through Fitness Function Estimation Technique with Multiple QoS Parameters Compliance. - Mary Cherian, T. R. Gopalakrishnan Nair:
A Packet Scheduling Strategy in Sensor Networks with SGMH Protocol. - Bernhard C. Geiger, Christian Vogel:
Influence of Doppler Bin Width on GNSS Detection Probabilities. - Ali Dinler, Cengis Hasan, Kamil Orucoglu, Robert W. Barber:
On an Efficient Marie Curie Initial Training Network. - Bertrand Meyer:
Towards a Calculus of Object Programs. - Marek Karpinski, Richard Schmied, Claus Viehmann:
Tight Approximation Bounds for Vertex Cover on Dense k-Partite Hypergraphs. - Marc Thurley:
An Approximation Algorithm for #k-SAT. - Qi Guo, Yunji Chen, Tianshi Chen, Ling Li:
Efficient Deterministic Replay Using Complete Race Detection. - Krishnendu Chatterjee:
Robustness of Structurally Equivalent Concurrent Parity Games. - Chao Shen, Tsung-Hui Chang, Kun-Yu Wang, Zhengding Qiu, Chong-Yung Chi:
Distributed Robust Multi-Cell Coordinated Beamforming with Imperfect CSI: An ADMM Approach. - Sivan Sabato, Naftali Tishby:
Multi-Instance Learning with Any Hypothesis Class. - Shishir Nagaraja, Amir Houmansadr, Pratch Piyawongwisal, Vijit Singh, Pragya Agarwal, Nikita Borisov:
Stegobot: construction of an unobservable communication network leveraging social behavior. - Martin Skutella, David P. Williamson:
A note on the generalized min-sum set cover problem. - J. A. Domínguez Pérez, J. M. Muñoz Porras, G. Serrano Sotelo:
One dimensional Convolutional Goppa Codes over the projective line. - Oleg Chertov, Taras Slipets:
Kunchenko's Polynomials for Template Matching. - Elisa Marengo, Matteo Baldoni, Cristina Baroglio:
Extend Commitment Protocols with Temporal Regulations: Why and How. - Przemyslaw Woznowski, Alun D. Preece:
Rule-Based Semantic Sensing. - Antonius Weinzierl:
Advancing Multi-Context Systems by Inconsistency Management. - Jaroslaw Bak:
Rule-based query answering method for a knowledge base of economic crimes. - Alexander Sellner, Christopher Schwarz, Erwin Zinser:
Semantic-ontological combination of Business Rules and Business Processes in IT Service Management. - Krishnendu Chatterjee, Mathieu Tracol:
Decidable Problems for Probabilistic Automata on Infinite Words. - Hassan Ghozlan, Gerhard Kramer:
Interference Focusing for Simplified Optical Fiber Models with Dispersion. - Gerhard Wunder, Jan Schreck, Peter Jung:
Nearly Doubling the Throughput of Multiuser MIMO Systems Using Codebook Tailored Limited Feedback Protocol. - (Withdrawn) An estimation of distribution algorithm with adaptive Gibbs sampling for unconstrained global optimization.
- Eric Angel, Evripidis Bampis, Fadi Kacem, Dimitrios Letsios:
Speed Scaling on Parallel Processors with Migration. - Sahin Emrah Amrahov, Iman N. Askerzade:
Strong Solutions of the Fuzzy Linear Systems. - Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy:
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives. - Krishnendu Chatterjee, Laurent Doyen:
Partial-Observation Stochastic Games: How to Win when Belief Fails. - Krishnendu Chatterjee:
Bounded Rationality in Concurrent Parity Games. - Matthew J. Sottile, Craig Edward Rasmussen, Wayne N. Weseloh, Robert W. Robey, Daniel J. Quinlan, Jeffrey Overbey:
ForOpenCL: Transformations Exploiting Array Syntax in Fortran for Accelerator Programming. - Anindya De:
Lower bounds in differential privacy. - Bo Tang, Yajun Wang:
Algorithms for Submodular Matroid Secretary Problems Under Transversal Matroids and Partition Matroids. - Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh:
Bidimensionality and Geometric Graphs. - Radu Arsinte:
Study of a Hybrid - Analog TV and Ethernet- Home Data Link using a Coaxial Cable. - Pablo M. Olmos, Rüdiger L. Urbanke:
Scaling Behavior of Convolutional LDPC Ensembles over the BEC. - Ioannis Caragiannis, Angelo Fanelli, Nick Gravin, Alexander Skopalik:
Computing approximate pure Nash equilibria in weighted congestion games with polynomial latency functions. - Josep Díaz, Olli Pottonen, Erik Jan van Leeuwen:
Planar Metric Dimension is NP-complete. - Wenyan Xu, Sanyang Liu:
The parallel versus branching recurrences in computability logic. - Michael Dinitz, Gordon T. Wilfong:
iBGP and Constrained Connectivity. - Guillaume Moroz, Boris Aronov:
Computing the Distance between Piecewise-Linear Bivariate Functions. - Nikolaos S. Nikolaidis, Ioannis N. Nikolaidis, Constantin C. Tsouros:
A Variation of the Box-Counting Algorithm Applied to Colour Images. - Alistair Sinclair, Piyush Srivastava, Marc Thurley:
Approximation algorithms for two-state anti-ferromagnetic spin systems on bounded degree graphs. - Lev Reyzin:
Data Stability in Clustering: A Closer Look. - Tomasz Kociumaka, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen:
A Linear Time Algorithm for Seeds Computation. - Amotz Bar-Noy, Yi Gai, Matthew P. Johnson, Bhaskar Krishnamachari, George Rabanca:
Knapsack Games and the Truth but not the Whole Truth. - Harold V. McIntosh:
A CONVERT compiler of REC for PDP-8. - Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada:
On the Approximability and Hardness of Minimum Topic Connected Overlay and Its Special Instances. - Moritz Hardt, Guy N. Rothblum, Rocco A. Servedio:
Private Data Release via Learning Thresholds. - Shigeki Matsutani, Kota Nakano, Katsuhiko Shinjo:
Surface tension of multi-phase flow with multiple junctions governed by the variational principle. - Anant Jindal, Gazal Kochar, Manjish Pal:
Maximum Matchings via Glauber Dynamics. - Wei Xu:
Towards Optimal One Pass Large Scale Learning with Averaged Stochastic Gradient Descent. - Jie Xu, Ling Qiu, Chengwen Yu:
Improving Energy Efficiency Through Multimode Transmission in the Downlink MIMO Systems. - Manuel Moussallam, Laurent Daudet, Gaël Richard:
Matching Pursuits with Random Sequential Subdictionaries. - Apostolos Syropoulos, Valeria de Paiva:
Fuzzy Topological Systems. - Giuseppe Durisi, Veniamin I. Morgenshtern, Helmut Bölcskei:
Sensitivity of Noncoherent WSSUS Fading Channel Capacity. - Toufiq Parag, Vladimir Pavlovic, Ahmed M. Elgammal:
Learning Hypergraph Labeling for Feature Matching. - Julia Chuzhoy:
Routing in Undirected Graphs with Constant Congestion. - Jeff M. Phillips, Elad Verbin, Qin Zhang:
Lower Bounds for Number-in-Hand Multiparty Communication Complexity, Made Easy. - Radu Arsinte:
Aspects of Entertainment Distribution in an Intelligent Home Environment. - Guy Even, Nissim Halabi:
On Decoding Irregular Tanner Codes. - Carlos Alberto Fernández y Fernández, José Angel Quintanar Morales, Hermenegildo Fernandez Santos:
An IDE to Build and Check Task Flow Models. - (Withdrawn) A Higher-Order Cheeger's Inequality.
- Nicolaie Popescu-Bodorin:
A Fuzzy View on k-Means Based Signal Quantization with Application in Iris Segmentation. - Nicolaie Popescu-Bodorin:
Exploring New Directions in Iris Recognition. - Constantinos Daskalakis, Ilias Diakonikolas, Rocco A. Servedio:
Learning $k$-Modal Distributions via Testing. - Constantinos Daskalakis, Ilias Diakonikolas, Rocco A. Servedio:
Learning Poisson Binomial Distributions. - Arnaud Casteigts, Bernard Mans, Luke Mathieson:
On the Feasibility of Maintenance Algorithms in Dynamic Graphs. - Soumen Bag, Gaurav Harit:
Topographic Feature Extraction for Bengali and Hindi Character Images. - Umm-e-Mariya Shah, Maqbool Uddin Shaikh, Azra Shamim, Yasir Mehmood:
Proposed Quality Evaluation Framework to Incorporate Quality Aspects in Web Warehouse Creation. - Keisuke Goto, Shirou Maruyama, Shunsuke Inenaga, Hideo Bannai, Hiroshi Sakamoto, Masayuki Takeda:
Restructuring Compressed Texts without Explicit Decompression. - Yacine Boufkhad, Olivier Dubois:
Second moment method for a family of boolean CSP. - Neri Merhav:
Subset sum phase transitions and data compression. - Rami Cohen:
Face Recognition using Curvelet Transform. - Rami Cohen:
The Chan-Vese Algorithm. - Eray Özkural:
Diverse Applications of Algorithmic Probability Theory. - Boris Flach, Dmitrij Schlesinger:
Modelling Distributed Shape Priors by Gibbs Random Fields of Second Order. - Baris Sertkaya:
A Survey on how Description Logic Ontologies Benefit from Formal Concept Analysis. - Jinhui Tang, Shuicheng Yan, Tat-Seng Chua, Ramesh C. Jain:
Label-Specific Training Set Construction from Web Resource for Image Annotation. - A. Dinesh Kumar, Ambedkar Dukkipati:
A Two Stage Selective Averaging LDPC Decoding. - Ashwinkumar Badanidiyuru, Shahar Dobzinski, Sigal Oren:
Optimization with Demand Oracles. - Roberto Cominetti, Cristóbal Guzmán:
Network Congestion Control with Markovian Multipath Routing. - Alina Ene, Sariel Har-Peled, Benjamin Raichel:
Geometric Packing under Non-uniform Constraints. - Lisa Fleischer, Zhenghui Wang:
Lower Bound for Envy-Free and Truthful Makespan Approximation on Related Machines. - Dror Baron, Tsachy Weissman:
An MCMC Approach to Universal Lossy Compression of Analog Sources. - Shigeki Matsutani, Yoshiyuki Shimosako, Yunhong Wang:
Fractal Structure of Equipotential Curves on a Continuum Percolation Model. - Mark D. McDonnell, Shiro Ikeda, Jonathan H. Manton:
An Introductory Review of Information Theory in the Context of Computational Neuroscience. - Sotiris Kentros, Aggelos Kiayias:
Solving the At-Most-Once Problem with Nearly Optimal Effectiveness. - Xiaohui Bei, Ning Chen, Nick Gravin, Pinyan Lu:
Budget Feasible Mechanism Design via Random Sampling. - Junyi Chai, James N. K. Liu:
An Ontology-driven Framework for Supporting Complex Decision Process. - Thouis R. Jones, David R. Karger:
Linear-Time Poisson-Disk Patterns. - Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda:
Computing q-gram Frequencies on Collage Systems. - Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda:
Computing q-gram Non-overlapping Frequencies on SLP Compressed Texts. - Marcelo P. Fiore, Chung-Kil Hur:
On the mathematical synthesis of equational logics. - (Withdrawn) Security Analysis of two Distance-Bounding Protocols.
- Amin Karbasi, Stratis Ioannidis, Laurent Massoulié:
Adaptive Content Search Through Comparisons. - Stefan Kratsch, Magnus Wahlström:
Compression via Matroids: A Randomized Polynomial Kernel for Odd Cycle Transversal. - Ralf Lübben, Markus Fidler:
Non-equilibrium Information Envelopes and the Capacity-Delay-Error-Tradeoff of Source Coding. - Nikos Vlassis, Michael L. Littman, David Barber:
On the computational complexity of stochastic controller optimization in POMDPs. - Yorai Wardi, Magnus Egerstedt:
Algorithm for Optimal Mode Scheduling in Switched Systems. - Edward Grefenstette, Mehrnoosh Sadrzadeh:
Experimenting with Transitive Verbs in a DisCoCat. - Russell Impagliazzo, William Matthews, Ramamohan Paturi:
A Satisfiability Algorithm for AC$^0$. - Frédérique E. Oggier, Anwitaman Datta:
Homomorphic Self-repairing Codes for Agile Maintenance of Distributed Storage Systems. - Barlas Oguz, Venkat Anantharam, Ilkka Norros:
Stable, scalable, decentralized P2P file sharing with non-altruistic peers. - (Withdrawn) Use of Hamiltonian Cycles in Cryptograph.
- Hendra I. Nurdin, Ian R. Petersen, Matthew R. James:
On the infeasibility of entanglement generation in Gaussian quantum systems via classical control. - Yung-Yih Jian, Henry D. Pfister:
Convergence of Weighted Min-Sum Decoding Via Dynamic Programming on Trees. - Chengpu Wang:
Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming. - Le Hoang Thai, Ha Nhat Tam:
Fingerprint recognition using standardized fingerprint model. - Thai Le, Phat Tat, Hai Tran:
Facial Expression Classification Based on Multi Artificial Neural Network and Two Dimensional Principal Component Analysis. - Paraskevas V. Lekeas, Giorgos Stamatopoulos:
Cooperative oligopoly games: a probabilistic approach. - Paraskevas V. Lekeas, Giorgos Stamatopoulos:
Strategic delegation in a sequential model with multiple stages. - Bo Li, Cem Boyaci, Ye Xia:
Performance Guarantee under Longest-Queue-First Schedule in Wireless Networks. - T. R. Gopalakrishnan Nair, V. Suma:
Estimation of Characteristics of a. - Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban:
Large Formal Wikis: Issues and Solutions. - Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane:
Licensing the Mizar Mathematical Library. - Harjit Singh Lamba, Gurdev Singh:
Cloud Computing Future Framework for e-management of NGO's. - Luis Antonio de Santa-Eulalia, Sophie D'Amours, Jean-Marc Frayret:
An Agent-based Strategy for Deploying Analysis Models into Specification and Design for Distributed APS Systems. - David Prévost, Sylvain Lavernhe, Claire Lartigue, Didier Dumur:
Feed drive modelling for the simulation of tool path tracking in multi-axis High Speed Machining. - Adrien Friggeri, Guillaume Chelius, Eric Fleury:
Triangles to Capture Social Cohesion. - Piotr Frackiewicz:
Quantum information approach to normal representation of extensive games. - Phong S. Nguyen, Arvind Yedla, Henry D. Pfister, Krishna R. Narayanan:
Spatially-Coupled Codes and Threshold Saturation on Intersymbol-Interference Channels. - Ali Jalali, Christopher C. Johnson, Pradeep Ravikumar:
On Learning Discrete Graphical Models Using Greedy Methods. - Yuan Li, Haibin Kan:
Complex Orthogonal Designs with Forbidden 2 × 2 Submatrices. - Vikram Dhillon:
On the Simulation of Adaptive Measurements via Postselection. - Jesse Gilbert:
Probabilistic Methods on Erdos Problems. - Tamma V. Prabhakar, S. N. Akshay Uttama Nambi, H. S. Jamadagni:
E-DTN : A Multi-Interface Energy DTN Gateway. - Soumaya Amdouni, Wahiba Ben Abdessalem Karaa, Sondes Bouabid:
Semantic annotation of requirements for automatic UML class diagram generation. - Pierre De Loor, Pierre-Alexandre Favier:
From decision to action : intentionality, a guide for the specification of intelligent agents' behaviour. - Mehdaoui Rafik, Leila Hayet Mouss, Mohamed Djamel Mouss, Ouahiba Chouhal:
A Temporal Neuro-Fuzzy Monitoring System to Manufacturing Systems. - F. Richard Yu, Peng Zhang, Weidong Xiao, Paul Choudhury:
Communication Systems for Grid Integration of Renewable Energy Resources. - Pierre De Loor, Romain Benard, Pierre Chevaillier:
Real-time retrieval for case-based reasoning in interactive multiagent-based simulations. - Sam Ganzfried:
Oracular Form and Computing Strong Game-Theoretic Jotto Strategies. - Firouz Abdullah Al-Wassai, N. V. Kalyankar, Ali A. Al-Zuky:
Arithmetic and Frequency Filtering Methods of Pixel-Based Image Fusion Techniques. - Yang D. Li, Zhenjie Zhang, Marianne Winslett, Yin Yang:
Compressive Mechanism: Utilizing Sparse Representation in Differential Privacy. - Pushpa R. Suri, Harmunish Taneja:
Object Oriented Information Computing over WWW. - Rajender Nath, Pankaj Kumar Sehgal:
SD-AODV: A Protocol for Secure and Dynamic Data Dissemination in Mobile Ad Hoc Network. - Yonatan Yehezkeally, Moshe Schwartz:
Snake-in-the-Box Codes for Rank Modulation. - Frédéric Meunier, Antoine Deza:
A further generalization of the colourful Carathéodory theorem. - Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni, Jean-Philippe Métivier:
Discovering Knowledge using a Constraint-based Language. - Boris Bukh, Gabriel Nivasch:
Upper bounds for centerlines. - Kord Eickmeyer, Martin Grohe:
Randomisation and Derandomisation in Descriptive Complexity Theory. - Peter Beelen, Sudhir R. Ghorpade, Tom Høholdt:
Duals of Affine Grassmann Codes and their Relatives. - Thijs Laarhoven, Benne de Weger:
Optimal symmetric Tardos traitor tracing schemes. - Po-Ning Chen, Fady Alajaji:
A Generalized Poor-Verdu Error Bound for Multihypothesis Testing and the Channel Reliability Function. - Susan Khor:
What can we learn from slow self-avoiding adaptive walks by an infinite radius search algorithm? - Louis Lei Yu, Sitaram Asur, Bernardo A. Huberman:
What Trends in Chinese Social Media. - Yanpei Liu, Stark C. Draper, Akbar M. Sayeed:
A Secret Key Generation System Based on Multipath Channel Randomness: RSSI vs CSSI. - David Van Horn, Matthew Might:
Systematic Abstraction of Abstract Machines. - Loïc Andolfatto, Sylvain Lavernhe, René Mayer:
Evaluation of servo, geometric and dynamic error sources on five axis high-speed machine tool. - Joel George Manathara, Ambedkar Dukkipati, Debasish Ghose:
On Consensus under Polynomial Protocols. - David Eppstein, Michael T. Goodrich, Pierre Baldi:
Privacy-Enhanced Methods for Comparing Compressed DNA Sequences. - Han-Shin Jo, Young Jin Sang, Ping Xia, Jeffrey G. Andrews:
Heterogeneous Cellular Networks with Flexible Cell Association: A Comprehensive Downlink SINR Analysis. - Hideaki Kimura, Carleton Coffrin, Alexander Rasin, Stanley B. Zdonik:
Optimizing Index Deployment Order for Evolving OLAP (Extended Version). - Zahid Mounir:
New construction of APN quaratic. - Kiran Kumar Sundararajan, Mita Pal, Soubhik Chakraborty, N. C. Mahanti:
K-sort: A new sorting algorithm that beats Heap sort for n <= 70 lakhs! - Venetis Kanakaris, David Ndzi, Kyriakos Ovaliadis:
Improving AODV Performance using Dynamic Density Driven Route Request Forwarding. - Rahat Afreen, Suresh C. Mehrotra:
A Review on Elliptic Curve Cryptography for Embedded Systems. - Xiao Li, Andrea Rueetschi, Yonina C. Eldar, Anna Scaglione:
GPS Signal Acquisition via Compressive Multichannel Sampling. - Mohamed Amnai, Youssef Fakhri, Jaafar Abouchabaka:
QoS Routing and Performance Evaluation for Mobile Ad Hoc Networks using OLSR Protocol. - Bart M. P. Jansen, Stefan Kratsch:
On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal. - Antoine Bordes, Xavier Glorot, Jason Weston, Yoshua Bengio:
Towards Open-Text Semantic Parsing via Multi-Task Learning of Structured Embeddings. - Nicolas Goze, Michel Goze, Abdel Kenoufi, Elisabeth Remm:
A new algebraic and arithmetic framework for interval computations. - Kranti Bala, Kiran Ahuja:
Impact of Mobility On QoS of Mobile WiMax Network With CBR Application. - (Withdrawn) Autonomous Traffic Control System Using Agent Based Technology.
- Raj Kishen Moloo, Muhammad Ajmal Sheik Dawood, Abu Salmaan Auleear:
3-Phase Recognition Approach to Pseudo 3D Building Generation from 2D Floor Plan. - Jun Wu, Shigeru Shimamoto:
Context-Capture Multi-Valued Decision Fusion With Fault Tolerant Capability For Wireless Sensor Networks. - Abderrahim Bourouis, Mohammed Feham, Abdelhamid Bouchachia:
Ubiquitous Mobile Health Monitoring System for Elderly (UMHMSE). - Stefan Kratsch:
Co-nondeterminism in compositions: A kernelization lower bound for a Ramsey-type problem. - Wenyan Xu, Sanyang Liu:
The countable versus uncountable branching recurrences in computability logic. - Michael Helmling, Stefan Ruzika, Akin Tanatmis:
Mathematical Programming Decoding of Binary Linear Codes: Theory and Algorithm. - Yuri Pirola, Gianluca Della Vedova, Stefano Biffani, Alessandra Stella, Paola Bonizzoni:
Haplotype Inference on Pedigrees with Recombinations, Errors, and Missing Genotypes via SAT solvers. - Stéphane P. A. Bordas, Sundararajan Natarajan:
On the approximation in the smoothed finite element method (SFEM). - Anupam Gupta, Aaron Roth, Jonathan R. Ullman:
Iterative Constructions and Private Data Release. - Marc Tchiboukdjian, Nicolas Gast, Denis Trystram:
Decentralized List Scheduling. - Dejan Munjin, Jean-Henry Morin:
User Empowerment in the Internet of Things. - Ke Zhai, Jordan L. Boyd-Graber, Nima Asadi:
Using Variational Inference and MapReduce to Scale Topic Modeling. - Andrea Jiménez, Marcos A. Kiwi:
Computational Hardness of Enumerating Satisfying Spin-Assignments in Triangulations. - Kato Mivule, Claude Turner:
Applying Data Privacy Techniques on Tabular Data in Uganda. - Vladimir Vasilich Tregub:
Teaching Introductory Electrical Engineering Course to CS Students in a Russian University. - Oleksiy Busaryev, Sergio Cabello, Chao Chen, Tamal K. Dey, Yusu Wang:
Annotating Simplices with a Homology Basis and Its Applications. - Tao Zhu, Christopher Bronk, Dan S. Wallach:
An Analysis of Chinese Search Engine Filtering. - John Hartigan, David Pollard, Sekhar Tatikonda:
Conditioned Poisson distributions and the concentration of chromatic numbers. - Nicolas Heess, Nicolas Le Roux, John M. Winn:
Weakly Supervised Learning of Foreground-Background Segmentation using Masked RBMs. - Jason Cloud, Linda Zeger, Muriel Médard:
MAC Centered Cooperation - Synergistic Design of Network Coding, Multi-Packet Reception, and Improved Fairness to Increase Network Throughput. - Hoon Huh, Giuseppe Caire, Haralabos C. Papadopoulos, Sean A. Ramprashad:
Achieving "Massive MIMO" Spectral Efficiency with a Not-so-Large Number of Antennas. - Anupam Das, Nikita Borisov:
Securing Tor Tunnels under the Selective-DoS Attack. - Navin Goyal, Luis Rademacher:
Lower Bounds for the Average and Smoothed Number of Pareto Optima. - Weiping Zhu:
Fitting a Model to Data in Loss Tomography. - Umer Farooq, M. Aqeel Iqbal, Sohail Nazir:
A Glance into the Future of Human Computer Interaction. - Nguyen Lu Dang Khoa, Sanjay Chawla:
Online Anomaly Detection Systems Using Incremental Commute Time. - Rigui Zhou, Yang Shi, Manqun Zhang:
Reversible arithmetic logic unit. - Pierre Charbit, Michel Habib, Nicolas Trotignon, Kristina Vuskovic:
Detecting 2-joins faster. - Amitav Mukherjee, A. Lee Swindlehurst:
Prescient Beamforming by Primary Transmitters in Interweave Cognitive Radio Networks with a Single Primary Receiver. - Andriy V. Miranskyy, Matthew Davison, Mark Reesor:
Metrics of Risk Associated with Defects Rediscovery. - Arun Kumar Singh, Petros Elia, Joakim Jaldén:
Achieving a vanishing SNR-gap to exact lattice decoding at a subexponential complexity. - David Poole, Fahiem Bacchus, Jacek Kisynski:
Towards Completely Lifted Search-based Probabilistic Inference. - Sumalatha Ramachandran, Uttara Sridhar, Vidhya Srinivasan, J. Jaya Jothi:
Data Aggregation and Privacy for Police Patrols. - Nick Mehrdad Loghmani:
The Harmonic Theory; A mathematical framework to build intelligent contextual and adaptive computing, cognition and sensory system. - Piotr Bialczak, Wojciech Mazurczyk, Krzysztof Szczypiorski:
Sending Hidden Data via Google Suggest. - Wojciech Fraczek, Wojciech Mazurczyk, Krzysztof Szczypiorski:
How Hidden Can Be Even More Hidden? - Wojciech Mazurczyk:
Lost Audio Packets Steganography: The First Practical Evaluation. - Wojciech Mazurczyk, Krzysztof Szczypiorski:
Is Cloud Computing Steganography-proof? - Nathan Srebro, Karthik Sridharan, Ambuj Tewari:
On the Universality of Online Mirror Descent. - Carlos A. Astudillo, Oscar J. Calderón, Jesús H. Ortiz:
PM2PLS: An Integration of Proxy Mobile IPv6 and MPLS. - Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder:
Event-Clock Automata: From Theory to Practice. - Tzu-Han Chou, Vincent Y. F. Tan, Stark C. Draper:
The Sender-Excited Secret Key Agreement Model: Capacity and Error Exponents. - Wenqi Huang, Kun He:
Analysis on the computability over the efficient utilization problem of the four-dimensional space-time. - Cem Tekin, Mingyan Liu:
Performance and Convergence of Multi-user Online Learning. - Nizami Gasilov, Sahin Emrah Amrahov, Afet Golayoglu Fatullayev:
Linear Differential Equations with Fuzzy Boundary Values. - Emmanuel Beffara:
Functions as proofs as processes. - Fabio Daolio, Sébastien Vérel, Gabriela Ochoa, Marco Tomassini:
Local Optima Networks of the Quadratic Assignment Problem. - Sébastien Vérel, Gabriela Ochoa, Marco Tomassini:
Local Optima Networks of NK Landscapes with Neutrality. - David Simoncini, Sébastien Vérel, Philippe Collard, Manuel Clergue:
Centric selection: a way to tune the exploration/exploitation trade-off. - Leonardo Vanneschi, Sébastien Vérel, Philippe Collard, Marco Tomassini:
NK landscapes difficulty and Negative Slope Coefficient: How Sampling Influences the Results. - Umer Farooq, M. Aqeel Iqbal:
Next Generation High Speed Computing Using Photonic Based Technolog. - Anandthirtha B. Gudi, H. K. Shreedhar, H. C. Nagaraj:
Estimation of Severity of Speech Disability through Speech Envelope. - Annapurna Sharma, Hakimjon Zaynidinov, Hoon-Jae Lee:
Development and Modelling of High-Efficiency Computing Structure for Digital Signal Processing. - Pascal O. Vontobel:
The Bethe Permanent of a Non-Negative Matrix. - Benoit Pijcke, Marie Zwingelstein-Colin, Marc Gazalet, Mohamed Gharbi, Patrick Corlay:
An Analytical Model for the Intercell Interference Power in the Downlink of Wireless Cellular Networks. - Marco Cerami, Umberto Straccia:
On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm. - Umer Farooq, M. Aqeel Iqbal, Sohail Nazir:
A Glance into the Future of Human Computer Interactions. - Maurizio Serva:
The settlement of Madagascar: what dialects and languages can tell. - Hakob Aslanyan:
Interference minimization in physical model of wireless networks. - Hakob Aslanyan:
Sorting Algorithms with Restrictions. - Hakob Aslanyan:
Greedy Set Cover Estimations. - Elzbieta Zielinska, Krzysztof Szczypiorski:
Direct Sequence Spread Spectrum Steganographic Scheme for IEEE 802.15.4. - Yuri I. Manin:
A computability challenge: asymptotic bounds and isolated error-correcting codes. - François Mériaux, Yezekael Hayel, Samson Lasaulce, Andrey Garnaev:
Long-Term Energy Constraints and Power Control in Cognitive Radio Networks. - François Mériaux, Maël Le Treust, Samson Lasaulce, Michel Kieffer:
A Stochastic Game Formulation of Energy-Efficient Power Control: Equilibrium Utilities and Practical Strategies. - Kostyantyn M. Shchekotykhin, Gerhard Friedrich, Philipp Fleiss, Patrick Rodler:
Query strategy for sequential ontology debugging. - Deli Qiao, Mustafa Cenk Gursoy, Senem Velipasalar:
Effective Capacity of Two-Hop Wireless Communication Systems. - Maria Teresa Noguera:
Enhancing Knowledge Sharing Between Educational Portals. - Michael T. Goodrich, Daniel S. Hirschberg, Michael Mitzenmacher, Justin Thaler:
Fully De-Amortized Cuckoo Hashing for Cache-Oblivious Dictionaries and Multimaps. - François Mériaux, Maël Le Treust, Samson Lasaulce, Michel Kieffer:
Jeux stochastiques et contrôle de puissance distribué. - Ozan Candogan, Asuman E. Ozdaglar, Pablo A. Parrilo:
Dynamics in Near-Potential Games. - Firouz Abdullah Al-Wassai, N. V. Kalyankar, Ali A. Al-Zuky:
The IHS Transformations Based Image Fusion. - Annapurna Sharma, Amit Purwar, Young-Dong Lee, Young-Sook Lee, Wan-Young Chung:
Frequency based Classification of Activities using Accelerometer Data. - Wan-Young Chung, Amit Purwar, Annapurna Sharma:
Frequency Domain Approach for Activity Classification using Accelerometer. - Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani:
Logical Concurrency Control from Sequential Proofs. - Annapurna Sharma, Young-Dong Lee, Wan-Young Chung:
High Accuracy Human Activity Monitoring using Neural network. - Albert Banchs, Andres Garcia-Saavedra, Pablo Serrano, Joerg Widmer:
A Game Theoretic Approach to Distributed Opportunistic Scheduling. - Wenqi Huang, Tao Ye, Duanbing Chen:
Bottom-Left Placement Theorem for Rectangle Packing. - Andreas Björklund:
Counting Perfect Matchings as Fast as Ryser. - Onay Urfalioglu, Orhan Arikan:
Symmetry Breaking in Neuroevolution: A Technical Report. - Ugo Dal Lago, Paolo Di Giamberardino:
Soft Session Types (Long Version). - Anatoly Pashkevich, Alexandr Klimchik, Stéphane Caro, Damien Chablat:
Cartesian stiffness matrix of manipulators with passive joints: analytical approach. - Michel Coste, Philippe Wenger, Damien Chablat:
Singular surfaces and cusps in symmetric planar 3-RPR manipulators. - Fabian Altenbach, Georg Böcherer, Rudolf Mathar:
Short Huffman Codes Producing 1s Half of the Time. - François Scharffe, Jérôme Euzenat:
MeLinDa: an interlinking framework for the web of data. - Sabrina Gaito, Dario Maggiorini, Gian Paolo Rossi:
Leveraging Bus Mobility to Enable Communications in Urban Areas. - John B. Little:
Remarks on generalized toric codes. - Vincenzo Auletta, Diodato Ferraioli, Francesco Pasquale, Giuseppe Persiano:
Metastability of Logit Dynamics for Coordination Games. - Chun Lam Chan, Pak Hou Che, Sidharth Jaggi, Venkatesh Saligrama:
Non-adaptive probabilistic group testing with noisy measurements: Near-optimal bounds with efficient algorithms. - Thierry Boy de la Tour, Mnacho Echenim:
Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries. - Myle Ott, Yejin Choi, Claire Cardie, Jeffrey T. Hancock:
Finding Deceptive Opinion Spam by Any Stretch of the Imagination. - Shyam S. Chandramouli, Jay Sethuraman:
Groupstrategyproofness of the Egalitarian Mechanism for Constrained Rationing Problems. - Marco Manna, Francesco Ricca, Giorgio Terracina:
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice. - Peter D. Turney:
Analogy perception applied to seven tests of word comprehension. - Vitaly Skachek, Olgica Milenkovic, Angelia Nedic:
Hybrid Noncoherent Network Coding. - Mao Ye, Chunyan Wang, Christina Aperjis, Bernardo A. Huberman, Thomas Sandholm:
Collective Attention and the Dynamics of Group Deals. - Stefano Rini, Daniela Tuninetti, Natasha Devroye, Andrea Goldsmith:
On the Capacity of the Interference Channel with a Cognitive Relay. - Michael Fairbank, Eduardo Alonso:
The Divergence of Reinforcement Learning Algorithms with Value-Iteration and Function Approximation. - Kunal Narayan Chaudhury:
Filtering algorithms using shiftable kernels. - Matthew P. Johnson, Deniz Sariöz:
Computing the obstacle number of a plane graph. - Suhailan Safei, Mat Atar Mat Amin, Ahmad Nazari Mohd Rose, Mohd Nordin Abdul Rahman:
Instant e-Teaching Framework Model for Live Online Teaching. - George Papandreou, Alan L. Yuille:
Efficient variational inference in large-scale Bayesian compressed sensing. - Nittaya Kerdprasop, Kittisak Kerdprasop:
Higher Order Programming to Mine Knowledge for a Modern Medical Expert System. - Yanjun Ma, Jiandong Li, Rui Chen, Qin Liu:
On the Achievability of Interference Alignment for Three-Cell Multi-User MIMO Cellular Networks. - (Withdrawn) Reducing Search Lengths with Locally Precomputed Partial Random Walks.
- Vadim Zaytsev:
MediaWiki Grammar Recovery. - Vijayaraghavan Thirumalai, Pascal Frossard:
Correlation Estimation from Compressed Images. - Jan A. Bergstra, Guus P. A. J. Delen, S. F. M. van Vlijmen:
Introducing Sourcements. - Luis Quesada, Fernando Berzal, Francisco J. Cortijo:
Fence - An Efficient Parser with Ambiguity Support for Model-Driven Language Specification. - Stefano Rini:
An Achievable Region for a General Multi-terminal Network and its Chain Graph Representation. - Mahdi Cheraghchi:
Applications of Derandomization Theory in Coding. - Tamir Tassa:
Finding All Allowed Edges in a Bipartite Graph. - Jesse Alama:
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library. - Anand Bhalgat, Tanmoy Chakraborty, Sanjeev Khanna:
Mechanism Design with Risk Aversion. - Yannis Haralambous, Vitaly Klyuev:
A Semantic Relatedness Measure Based on Combined Encyclopedic, Ontological and Collocational Knowledge. - Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo:
Parallel Backtracking with Answer Memoing for Independent And-Parallelism. - Mohamed Hssini, Azzeddine Lazrek:
Design of Arabic Diacritical Marks. - Fabrizio Riguzzi, Terrance Swift:
The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty. - Benedikt Ahrens:
Extended Initiality for Typed Abstract Syntax. - Jia Du, Alvina Goh, Anqi Qiu:
Diffeomorphic Metric Mapping of High Angular Resolution Diffusion Imaging based on Riemannian Structure of Orientation Distribution Functions. - Ranjan Pal, Leana Golubchik, Konstantinos Psounis:
A Novel Cyber-Insurance for Internet Security. - Roya Golchay, Frédéric Le Mouël, Stéphane Frénot, Julien Ponge:
Towards Bridging IoT and Cloud Services: Proposing Smartphones as Mobile and Autonomic Service Gateways. - Ali Jowharpour, Masha allah abbasi dezfuli, Mohammad hosein Yektaee:
Use Pronunciation by Analogy for text to speech system in Persian language. - Christian Schlegel, Dmitri V. Truhachev:
Multiple Access Demodulation in the Lifted Signal Graph with Spatial Coupling. - Ronald M. Caplan, Ricardo Carretero-González:
Numerical Stability of Explicit Runge-Kutta Finite Difference Schemes for the Nonlinear Schrödinger Equation. - Tharaka Samarasinghe, Hazer Inaltekin, Jamie S. Evans:
Optimal Selective Feedback Policies for Opportunistic Beamforming. - Shiva Kintali, Nishad Kothari, Akash Kumar:
Approximation Algorithms for Directed Width Parameters. - Tatsuhiko Goto, Takeshi Hatanaka, Masayuki Fujita:
Payoff-based Inhomogeneous Partially Irrational Play for Potential Game Theoretic Cooperative Control of Multi-agent Systems. - Debabala Swain, S. P. Panigrahi, S. K. Routray, P. K. Dash, R. R. Mohanty, S. K. Dash:
WLAN location system: Background theories and future directions. - Debabala Swain, Bijay Paikaray, Debabrata Swain:
AWRP: Adaptive Weight Ranking Policy for Improving Cache Performance. - Joost Vennekens:
Actual Causation in CP-logic. - Liu Xiang, Jun Luo, Chenwei Deng, Athanasios V. Vasilakos, Weisi Lin:
Dual-Level Compressed Aggregation: Recovering Fields of Physical Quantities from Incomplete Sensory Data. - Vahan V. Mkrtchyan, Gagik N. Vardanyan:
On spanning maximum k-edge-colorable subgraphs. - Nachshon Cohen, Zeev Nutov:
Approximating minimum-power edge-multicovers. - Hironori Uchikawa, Brian M. Kurkoski, Kenta Kasai, Kohichi Sakaniwa:
Threshold Improvement of Low-Density Lattice Codes via Spatial Coupling. - Hamed O. Ghaffari:
Fracture Networks: Analysis with Graph Theory, LBM and FEM. - Marco Di Renzo, Dario De Leonardis, Fabio Graziosi, Harald Haas:
On the Performance of Space Shift Keying (SSK) Modulation with Imperfect Channel Knowledge. - Anastasios Arvanitis, Antonios Deligiannakis:
Discovering Attractive Products based on Influence Sets. - Can Baskent:
Some Non-Classical Approaches to the Branderburger-Keisler Paradox. - Can Baskent:
A Logic for Strategy Updates. - Can Baskent:
Public Announcement Logic in Geometric Frameworks. - Mnacho Echenim, Nicolas Peltier:
Instantiation Schemes for Nested Theories. - Can Baskent:
Paraconsistency and Topological Semantics. - Dejan Kovachev, Yiwei Cao, Ralf Klamma:
Mobile Cloud Computing: A Comparison of Application Models. - Mubashir Husain Rehmani:
Data Dissemination in Cognitive Radio Networks. - Elhanan Elboher, Michael Werman:
Efficient and Accurate Gaussian Image Filtering Using Running Sums. - Woomyoung Park, Alexander Barg:
Multilevel polarization for nonbinary codes and parallel channels. - Lilyana Mihalkova, Lise Getoor:
Lifted Graphical Models: A Survey. - Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Normative design using inductive learning. - Yizhao Ni, Matt McVicar, Raúl Santos-Rodriguez, Tijl De Bie:
An end-to-end machine learning system for harmonic analysis of music. - Martin Fink, Jan-Henrik Haunert, Tamara Mchedlidze, Joachim Spoerhase, Alexander Wolff:
Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles. - Tigran Tonoyan:
On the Problem of Wireless Scheduling with Linear Power Levels. - Fabrício Martins Lopes, David Correa Martins Jr., Junior Barrera, Roberto Marcondes Cesar Jr.:
An iterative feature selection method for GRNs inference by exploring topological properties. - Miguel Areias, Ricardo Rocha:
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs. - (Withdrawn) Image representation by blob and its application in CT reconstruction from few projections.
- Michael T. Goodrich, Michael Mitzenmacher, Olga Ohrimenko, Roberto Tamassia:
Oblivious RAM Simulation with Efficient Worst-Case Access Overhead. - Takeshi Hatanaka, Masayuki Fujita:
Cooperative Estimation of 3D Target Motion via Networked Visual Motion Observer. - Xiaohan Zhao, Alessandra Sala, Haitao Zheng, Ben Y. Zhao:
Fast and Scalable Analysis of Massive Social Graphs. - Shahid Mehraj Shah, Vireshwar Kumar, Vinod Sharma:
Achievable Secrecy Sum-Rate in a Fading MAC-WT with Power Control and without CSI of Eavesdropper. - Alexei Lisitsa:
Finite countermodels for safety verification of parameterized tree systems. - Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt:
The Magic of Logical Inference in Probabilistic Programming. - Aubin Jarry, Florian Huc, Pierre Leone, José D. P. Rolim:
Distributed Planarization and Local Routing Strategies in Sensor Networks. - Preben Gråberg Nes:
Fast multi-scale edge-detection in medical ultrasound signals. - Qiyu Sun:
Sparse approximation property and stable recovery of sparse signals from noisy measurements. - Manos N. Kamarianakis, Menelaos I. Karavelas:
Analysis of the Incircle predicate for the Euclidean Voronoi diagram of axes-aligned line segments. - Nick Gravin, Pinyan Lu:
Competitive Auctions for Markets with Positive Externalities. - Alberto Dennunzio, Enrico Formenti, Julien Provillard:
Non-Uniform Cellular Automata: classes, dynamics, and decidability. - Wael Emara, Mehmed M. Kantardzic:
Submodular Optimization for Efficient Semi-supervised Support Vector Machines. - Luca Becchetti, Andrea Clementi, Francesco Pasquale, Giovanni Resta, Paolo Santi, Riccardo Silvestri:
Information Spreading in Opportunistic Networks is Fast. - Conrad Drescher, Michael Thielscher:
ALPprolog --- A New Logic Programming Method for Dynamic Domains. - Benedikt Ahrens:
Modules over relative monads for syntax and semantics. - Nihar B. Shah, K. V. Rashmi, P. Vijay Kumar:
Information-theoretically Secure Regenerating Codes for Distributed Storage. - Rico Zenklusen:
Matroidal Degree-Bounded Minimum Spanning Trees. - Dimitar Baronov, John Baillieul:
Decision Making for Rapid Information Acquisition in the Reconnaissance of Random Fields. - Luca Pinello:
Multi Layer Analysis. - Aram Galstyan, Ardeshir Kianercy, Armen E. Allahverdyan:
Replicator Dynamics of Co-Evolving Networks. - Ali Eslami, Hossein Pishro-Nik:
A Practical Approach to Polar Codes. - Cristina G. Fernandes, Robin Thomas:
Edge-coloring series-parallel multigraphs. - Weirong Jiang, Hoang Le, Viktor K. Prasanna:
Bidirectional Pipelining for Scalable IP Lookup and Packet Classification. - Morteza Ibrahimi, Yashodhan Kanoria, Matt Kraning, Andrea Montanari:
The Set of Solutions of Random XORSAT Formulae. - Tauseef Gulrez, Alessandro Tognetti, Alon Fishbach, Santiago Acosta, Christopher Scharver, Danilo De Rossi, Ferdinando A. Mussa-Ivaldi:
Controlling wheelchairs by body motions: A learning framework for the adaptive remapping of space. - Md. Headayetullah, G. K. Pradhan, Sanjay Biswas, Bhagabat Puthal:
Proposed Information Sharing Security Approach for Security Personnels, Vertical Integration, Semantic Interoperability Architecture and Framework for Digital Government. - Suzhi Bi, Ying Jun Zhang:
TDMA Achieves the Optimal Diversity Gain in Relay-Assisted Cellular Networks. - António Porto:
A structured alternative to Prolog with simple compositional semantics. - Sébastien Gambs, Rachid Guerraoui, Hamza Harkous, Florian Huc, Anne-Marie Kermarrec:
Scalable and Secure Aggregation in Distributed Networks. - Edmund K. Burke, Timothy Curtois, Matthew R. Hyde, Gabriela Ochoa, José Antonio Vázquez Rodríguez:
HyFlex: A Benchmark Framework for Cross-domain Heuristic Search. - Brad W. Zarikoff, Douglas J. Leith:
Measuring Pulsed Interference in 802.11 Links. - Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez:
Selecting Attributes for Sport Forecasting using Formal Concept Analysis. - Daniel Dadush, Santosh S. Vempala:
Deterministic Construction of an Approximate M-Ellipsoid and its Application to Derandomizing Lattice Algorithms. - Petr N. Vabishchevich, Maria V. Vasileva:
Iterative methods for solving the pressure problem at multiphase filtration. - Lotfi Salhi, Kaïs Ouni:
Application of Gammachirp Auditory Filter as a Continuous Wavelet Analysis. - Peter Sunehag, Marcus Hutter:
Axioms for Rational Reinforcement Learning. - Elisa Gorla, Felice Manganiello, Joachim Rosenthal:
An Algebraic Approach for Decoding Spread Codes. - Tor Lattimore, Marcus Hutter:
Time Consistent Discounting. - Tor Lattimore, Marcus Hutter, Vaibhav Gavane:
Universal Prediction of Selected Bits. - Tor Lattimore, Marcus Hutter:
Asymptotically Optimal Agents. - Jaydip Sen:
An Anonymous Authentication and Communication Protocol for Wireless Mesh Networks. - Jiangyuan Li, Athina P. Petropulu:
Closed Form Secrecy Capacity of MIMO Wiretap Channels with Two Transmit Antennas. - Liuling Gong, ChunYuen Teng, Avishay Livne, Celso Brunetti, Lada A. Adamic:
Coevolution of Network Structure and Content. - Dimitris Achlioptas, Michael Molloy:
The solution space geometry of random linear equations. - Flávio Cruz, Ricardo Rocha:
Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs. - Mahyar Salek, Shahin Shayandeh, David Kempe:
You Share, I Share: Network Effects and Economic Incentives in P2P File-Sharing Systems. - Aslan Askarov, Andrew C. Myers:
Attacker Control and Impact for Confidentiality and Integrity. - Ian R. Petersen:
Singular Perturbation Approximations for a Class of Linear Quantum Systems. - Ian R. Petersen:
Low Frequency Approximation for a class of Linear Quantum Systems using Cascade Cavity Realization. - Hua Ouyang, Ian R. Petersen, Valery A. Ugrinovskii:
Lagrange Stabilization of Pendulum-like Systems: A Pseudo H-infinity Control Approach. - Brian M. Kurkoski, Hideki Yagi:
Quantization of Binary-Input Discrete Memoryless Channels, with Applications to LDPC Decoding. - Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
Quantized Feedback Control Software Synthesis from System Level Formal Specifications. - Quan Yu, Kenneth W. Shum, Chi Wan Sung:
Minimization of Storage Cost in Distributed Storage Systems with Repair Consideration. - Georg Groh, Michele Brocco, Andreas Kleemann:
Interest-Based vs. Social Person-Recommenders in Social Networking Platforms. - Moran Feldman, Ronny Lempel, Oren Somekh, Kolman Vornovitsky:
On the Impact of Random Index-Partitioning on Index Compression. - Max Ostrowski, Torsten Schaub, Markus Durzinsky, Wolfgang Marwan, Annegret Wagler:
Automatic Network Reconstruction using ASP. - Tuvi Etzion:
Perfect Codes for Uniform Chains Poset Metrics. - Ioana Cristescu, Daniel Hirschkoff:
Termination in a Pi-calculus with Subtyping. 44 - Galen Reeves, Michael Gastpar:
On the Role of Diversity in Sparsity Estimation. - Martin Gebser, Roland Kaminski, Torsten Schaub:
Complex Optimization in Answer Set Programming. - Siddhartha Jonnalagadda, Philip Topham:
NEMO: Extraction and normalization of organization names from PubMed affiliation strings. - Siddhartha Jonnalagadda, Graciela Gonzalez:
BioSimplify: an open source sentence simplification engine to improve recall in automatic biomedical information extraction. - (Withdrawn) An Effective Approach to Biomedical Information Extraction with Limited Training Data.
- Pedro A. Ortega, Daniel A. Braun:
Information, Utility & Bounded Rationality. - Kolar Purushothama Naveen, Anurag Kumar:
Optimal Relay Selection with Channel Probing in Wireless Sensor Networks. - Matilde Marcolli, Christopher Perez:
Codes as fractals and noncommutative spaces. - Mohammad Rostami, Oleg V. Michailovich, Zhou Wang:
Image Deblurring Using Derivative Compressed Sensing for Optical Imaging Application. - Milad Sefidgaran, Aslan Tchamkerten:
Computing a Function of Correlated Sources. - Mohammad Reza Mousavi, António Ravara:
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011. EPTCS 58, 2011 [contents] - (Withdrawn) Confidence-Based Dynamic Classifier Combination For Mean-Shift Tracking.
- Srinivasan Venkatramanan, Anurag Kumar:
Co-evolution of Content Popularity and Delivery in Mobile P2P Networks. - Alireza Abbasi, Liaquat Hossain, Shahadat Uddin, Kim J. R. Rasmussen:
Evolutionary Dynamics of Scientific Collaboration Networks: Multi-Levels and Cross-time Analysis. - Olivier Finkel:
Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language. - Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos:
An Algebraic Specification of the Semantic Web. - Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek:
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. - José Hernández-Orallo, Peter A. Flach, Cèsar Ferri Ramirez:
Technical Note: Towards ROC Curves in Cost Space. - Dave A. May, Matthew G. Knepley:
Optimal, scalable forward models for computing gravity anomalies. - Indraneel Dabhade:
Multivalued Subsets under Information Theory. - Gianmaria De Tommasi, Roberto Ambrosino, Giuseppe Carannante, Carlo Cosentino, Alfredo Pironti, Francesco Amato:
Input-Output Finite-Time Stability. - Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amram, Carsten Fuhs, Jürgen Giesl:
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers. - Kostas N. Oikonomou:
Explicit Bounds for Entropy Concentration under Linear Constraints. - Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain:
Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies. - Jiantao Jiao, Lin Zhang, Robert D. Nowak:
Minimax-Optimal Bounds for Detectors Based on Estimated Prior Probabilities. - Daryush D. Mehta, Daniel Rudoy, Patrick J. Wolfe:
KARMA: Kalman-based autoregressive moving average modeling and inference for formant and antiformant tracking. - Andrzej K. Brodzik, Robert H. Enders:
A case of combination of evidence in the Dempster-Shafer theory inconsistent with evaluation of probabilities. - Xiongping Dai:
A Gel'fand-type spectral radius formula and stability of linear constrained switching systems. - Gábor Ivanyos, François Le Gall, Yuichi Yoshida:
On the distance between non-isomorphic groups. - Maria Soledad Aronna, J. Frédéric Bonnans, Andrei V. Dmitruk, Pablo A. Lotito:
Conditions quadratiques pour des extrémales bang-singulières. - Florent Foucaud, Sylvain Gravier, Reza Naserasr, Aline Parreau, Petru Valicov:
Identifying codes in line graphs. - Adam Brandenburger, Pierfrancesco La Mura:
Quantum Decision Theory. - Alexander V. Gnedin:
The Monty Hall Problem in the Game Theory Class. - József Solymosi, Milos Stojakovic:
Many collinear k-tuples with no k+1 collinear points. - Steven Pollack, Daniel Badali, Jonathan Pollack:
An algorithm for autonomously plotting solution sets in the presence of turning points. - Kye M. Taylor, François G. Meyer:
A random walk on image patches. - Linyuan Lu, Duanbing Chen, Tao Zhou:
Small world yields the most effective information spreading. - Dan Braha, Blake C. Stacey, Yaneer Bar-Yam:
Corporate competition: A self-organized network. - (Withdrawn) Modelling and Control of Blowing-Venting Operations in Manned Submarines.
- Josh Cadney, Noah Linden, Andreas J. Winter:
Infinitely many constrained inequalities for the von Neumann entropy. - Natalia B. Janson, Christopher J. Marsden:
"Memory foam" approach to unsupervised learning. - Raoul Blankertz:
Decomposition of Polynomials. - Alexander V. Gnedin:
The Unlucky Door. - Alex J. Bladon, Tobias Galla:
Learning to play public good games. - Gabriel Terejanu, Todd Oliver, Chris Simmons:
Application of Predictive Model Selection to Coupled Models. - Hong Qiu, Jiongmin Yong:
Hamilton-Jacobi Equations and Two-Person Zero-Sum Differential Games with Unbounded Controls. - Luca Giuzzi, Valentina Pepe:
Families of twisted tensor product codes. - Andrea Lancichinetti, Santo Fortunato:
Limits of modularity maximization in community detection. - Ronny Luss, Marc Teboulle:
Conditional Gradient Algorithms for Rank-One Matrix Approximations with a Sparsity Constraint. - Sean Brocklebank, Scott D. Pauls, Daniel N. Rockmore, Timothy C. Bates:
Characteristic Characteristics. - M. Asim Mubeen, Kevin H. Knuth:
Evidence-Based Filters for Signal Detection: Application to Evoked Brain Responses. - Xianhua Jiang, Lipeng Ning, Tryphon T. Georgiou:
Distances and Riemannian metrics for multivariate spectral densities. - Shen Chen Xu, Mark M. Wilde:
Sequential, successive, and simultaneous decoders for entanglement-assisted classical communication. - Krishnamurthy Dvijotham, Scott Backhaus, Misha Chertkov:
Operations-Based Planning for Placement and Sizing of Energy Storage in a Grid With a High Penetration of Renewables. - Marcel Wild:
Coupons collecting with or without replacement, and with multipurpose coupons. - Gabriel Terejanu, Rochan R. Upadhyay, Kenji Miki:
Bayesian experimental design for the active nitridation of graphite by atomic nitrogen. - Baosen Zhang, David Tse:
Geometry of Feasible Injection Region of Power Networks. - Yaron Azrieli, Eran Shmaya:
Lipschitz Games. - Patrick Eschenfeldt, Ben Gross, Nicholas Pippenger:
The M/M/Infinity Service System with Ranked Servers in Heavy Traffic. - Gabriel Terejanu, Yang Cheng, Tarunraj Singh, Peter D. Scott:
Comparison of SCIPUFF Plume Prediction with Particle Filter Assimilated Prediction for Dipole Pride 26 Data. - Mohamed Amin Ben Sassi, Antoine Girard:
Controller Synthesis for Robust Invariance of Polynomial Dynamical Systems using Linear Programming. - Dionisis Stefanatos, Shin Li Jr.:
Minimum-Time Quantum Transport with Bounded Trap Velocity. - Aiyou Chen, Jin Cao, Larry Shepp, Tuan Nguyen:
Distinct counting with a self-learning bitmap. - Animashree Anandkumar, Vincent Y. F. Tan, Furong Huang, Alan S. Willsky:
High-Dimensional Structure Estimation in Ising Models: Tractable Graph Families. - Alekh Agarwal, Dean P. Foster, Daniel J. Hsu, Sham M. Kakade, Alexander Rakhlin:
Stochastic convex optimization with bandit feedback. - Javier Borge-Holthoefer, Alejandro Rivero, Íñigo García, Elisa Cauhé, Alfredo Ferrer, Darío Ferrer, David Francos, David Iñiguez, María Pilar Pérez, Gonzalo Ruiz, Francisco Sanz, Fermín Serrano, Cristina Viñas, Alfonso Tarancón, Yamir Moreno:
Structural and Dynamical Patterns on Online Social Networks: the Spanish May 15th Movement as a case study. - Yilin Mo, Emanuele Garone, Alessandro Casavola, Bruno Sinopoli:
Stochastic Sensor Scheduling for Energy Constrained Estimation in Multi-Hop Wireless Sensor Networks. - Maksims Volkovs, Hugo Larochelle, Richard S. Zemel:
Loss-sensitive Training of Probabilistic Conditional Random Fields. - Ian Norris, Nándor Sieben:
Biased Weak Polyform Achievement Games. - Traian A. Pirvu, Huayue Zhang:
On Investment-Consumption with Regime-Switching. - Cheng-Jun Zhang, An Zeng:
Behavior patterns of online users and the effect on information filtering. - Guimei Zhu, Huijie Yang, Rui Yang, Jie Ren, Baowen Li, Ying-Cheng Lai:
Uncovering Evolutionary Ages of Nodes in Complex Networks. - David A. Meyer, James Pommersheim:
Multi-query quantum sums. - Atanas Marinov Atanassov:
Median Algorithm for Sector Spectra Calculation from Images Registered by the Spectral Airglow Temperature Imager. - Tobias Kretz, Andree Große, Stefan Hengst, Lukas Kautzsch, Andrej Pohlmann, Peter Vortisch:
Quickest Paths in Simulations of Pedestrians. - A. J. van der Schaft, Bernhard Maschke:
Discrete conservation laws and port-Hamiltonian systems on graphs and complexes. - Tengyu Ma, Xiaoming Sun, Huacheng Yu:
On a Conjecture of Butler and Graham. - Christopher J. Ellison, John R. Mahoney, Ryan G. James, James P. Crutchfield, Joerg Reichardt:
Information Symmetries in Irreversible Processes. - Nicolas Broutin, Ralph Neininger, Henning Sulzbach:
Partial match queries in random quadtrees. - Jean-François Biasse, Guillaume Quintin:
An algorithm for list decoding number field codes. - Gautam V. Pendse:
BSVM: A Banded Suport Vector Machine. - David R. Bickel:
Blending Bayesian and frequentist. - Smarajit Das, Naresh Sharma, Siddharth Muthukrishnan:
On some special cases of the Entropy Photon-Number Inequality. - Benjamin A. Burton, Melih Ozlen:
Computing the crosscap number of a knot using integer programming and normal surfaces. - Brian L. Mark, Yariv Ephraim:
An EM Algorithm for Continuous-time Bivariate Markov Chains. - Timothy N. Rubin, America Chambers, Padhraic Smyth, Mark Steyvers:
Statistical Topic Models for Multi-Label Document Classification. - Faryad Darabi Sahneh, Caterina M. Scoglio:
Epidemic Spread in Human Networks. - Francesca P. Carli, Augusto Ferrante, Michele Pavon, Giorgio Picci:
An Efficient Algorithm for Maximum-Entropy Extension of Block-Circulant Covariance Matrices. - Ning Ning Chung, Lock Yue Chew, Choy Heng Lai:
Network Extreme Eigenvalue - from Multimodal to Scale-free Network. - Anil Aswani, Humberto González, S. Shankar Sastry, Claire J. Tomlin:
Provably Safe and Robust Learning-Based Model Predictive Control. - Pascal Bianchi, Jérémie Jakubowicz:
On the Convergence of a Multi-Agent Projected Stochastic Gradient Algorithm. - Anna Chmiel, Julian Sienkiewicz, Mike Thelwall, Georgios Paltoglou, Kevan Buckley, Arvid Kappas, Janusz A. Holyst:
Collective emotions online and their influence on community life. - Majid Zamani, Rupak Majumdar:
Coordinate-invariant incremental Lyapunov functions. - Paolo D'Alberto, Ali Dasdan:
On the Weakenesses of Correlation. - Mauricio A. Álvarez, David Luengo, Neil D. Lawrence:
Linear Latent Force Models using Gaussian Processes. - Frédéric Vogt, Alexander Y. Wagner:
Stereo pairs in Astrophysics. - Y. Wang, An Zeng, Zengru Di, Ying Fan:
Enhancing synchronization in growing networks. - Chris Aholt, Bernd Sturmfels, Rekha R. Thomas:
A Hilbert Scheme in Computer Vision. - Mariano Beguerisse-Díaz, Baojun Wang, Radhika Desikan, Mauricio Barahona:
A global Monte-Carlo method for fitting parameters of differential equation models. - Francisco Gutiérrez, Camilo Argoty, Stefany Moreno:
A generalization of a classical model in contract theory: The agent behavior. - John Edward Gough, Matthew R. James, Hendra I. Nurdin:
Quantum Master Equation and Filter for Systems Driven by Fields in a Single Photon State. - John Edward Gough, Matthew R. James, Hendra I. Nurdin:
Quantum Filtering for Systems Driven by Fields in Single Photon States and Superposition of Coherent States using Non-Markovian Embeddings. - John Edward Gough, Matthew R. James, Hendra I. Nurdin, Joshua Combes:
Quantum Filtering (Quantum Trajectories) for Systems Driven by Fields in Single Photon States and Superposition of Coherent States. - Emma Yu Jin, Markus E. Nebel:
The Expected Order of Saturated RNA Secondary Structures. - Luca Piancastelli, Leonardo Frizziero, Simone Marcoppido, Eugenio Pezzuti:
Applying whole system design in a sportscar factory. - JooSeuk Kim, Clayton D. Scott:
Robust Kernel Density Estimation. - Wei Li, Xiao-Shan Gao:
Differential Chow Form for Projective Differential Variety. - Huimin Zheng, HaiXing Hu, Nan Wu, Fangmin Song:
On Measurement and Computation. - Piermarco Cannarsa, Jacques Tort, Masahiro Yamamoto:
Unique continuation and approximate controllability for a degenerate parabolic equation. - Pawel Sobkowicz, Antoni Sobkowicz:
Hate networks revisited: time and user interface dependence study of user emotions in political forum. - Maarti nLukac, Marek A. Perkowski, Michitaka Kameyama:
Evolutionary Quantum Logic Synthesis of Boolean Reversible Logic Circuits Embedded in Ternary Quantum Space using Heuristics. - Nicolas Gast:
Computing hitting times via fluid approximation: application to the coupon collector problem. - Ana Romero, Julio Rubio:
Computing the homology of groups: the geometric way. - Robert Corrie, Yoshiki Ninomiya, Jonathan Aitchison:
Applying Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER) spectral indices for geological mapping and mineral identification on the Tibetan Plateau. - Oliver Kramer:
Unsupervised K-Nearest Neighbor Regression. - Olga Kharlampovich, Bakhadyr Khoussainov, Alexei Miasnikov:
From automatic structures to automatic groups. - Róbert Sumi, Taha Yasseri, András Rung, András Kornai, János Kertész:
Edit wars in Wikipedia. - Alexander M. Petersen, Joel N. Tenenbaum, Shlomo Havlin, Harry Eugene Stanley:
Statistical Laws Governing Fluctuations in Word Use from Word Birth to Word Death. - Kohtaro Tadaki:
A Computational Complexity-Theoretic Elaboration of Weak Truth-Table Reducibility. - C. Seshadhri, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff:
Influence and Dynamic Behavior in Random Boolean Networks. - Michele Tumminello, Fabrizio Lillo, Jyrki Piilo, Rosario N. Mantegna:
Identification of clusters of investors from their real trading activity in a financial market. - Eveline Rosseel, Garth N. Wells:
Optimal control with stochastic PDE constraints and uncertain controls. - Paolo Frasca:
Convergence results in continuous-time quantized consensus. - Przemyslaw A. Grabowicz, José J. Ramasco, Esteban Moro, Josep M. Pujol, Víctor M. Eguíluz:
Social features of online networks: the strength of weak ties in online social media. - Cem Tekin, Mingyan Liu:
Adaptive Learning of Uncontrolled Restless Bandits with Logarithmic Regret. - Divyanshu Vats, José M. F. Moura:
Finding Non-overlapping Clusters for Generalized Inference Over Graphical Models. - Jiapu Zhang, David Yang Gao, John Yearwood:
A novel canonical dual computational approach for prion AGAAAAGA amyloid fibril molecular modeling. - Patrick Eschenfeldt, Ben Gross, Nicholas Pippenger:
Stochastic Service Systems, Random Interval Graphs and Search Algorithms. - Kody J. H. Law, Andrew M. Stuart:
Evaluating Data Assimilation Algorithms. - F. L. Metz, I. Neri, Désiré Bollé:
Spectra of sparse regular graphs with loops. - Jone Apraiz, Luis Escauriaza:
Null-Control and Measurable Sets. - Vivek S. Borkar, Rajesh Sundaresan:
Asymptotics of the Invariant Measure in Mean Field Models with Jumps. - Mohamed A. Mabrok, Abhijit G. Kallapur, Ian R. Petersen, Alexander Lanzon:
A New Stability Result for the Feedback Interconnection of Negative Imaginary Systems with a Pole at the Origin. - Vladimir P. Gerdt:
Consistency Analysis of Finite Difference Approximations to PDE Systems. - Humberto C. Godinez, Jon M. Reisner, Alexandre O. Fierro, Stephen R. Guimond, Jim Kao:
Determining Key Model Parameters of Rapidly Intensifying Hurricane Guillermo(1997) using the Ensemble Kalman Filter. - Duanbing Chen, Giulio Cimini, Linyuan Lu, Matús Medo, Yi-Cheng Zhang, Tao Zhou:
Adaptive topology evolution in information-sharing social networks. - Fergal Reid, Martin Harrigan:
An Analysis of Anonymity in the Bitcoin System. - Fernando Auil:
An Algorithm to Generate Square-Free Numbers and to Compute the Moebius Function. - Amites Sarkar, Martin Haenggi:
Percolation in the Secrecy Graph. - Kunal Narayan Chaudhury, Michael Unser:
On the Hilbert transform of wavelets. - Sohail Bahmani, Bhiksha Raj:
A Unifying Analysis of Projected Gradient Descent for $ell_p$-constrained Least Squares. - Xue-Zao Ren, Zimo Yang, Bing-Hong Wang, Tao Zhou:
Mandelbrot Law of Evolving Networks. - Yukie Sano, Kenta Yamada, Hayafumi Watanabe, Hideki Takayasu, Misako Takayasu:
Empirical analysis of collective human behavior for extraordinary events in blogosphere. - David Conlon, Jacob Fox:
Bounds for graph regularity and removal lemmas. - Jakub Pawlewicz:
Counting Square-Free Numbers. - Andreas C. Damianou, Michalis K. Titsias, Neil D. Lawrence:
Variational Gaussian Process Dynamical Systems. - Amitabh Basu, Robert Hildebrand, Matthias Köppe:
Algorithmic and Complexity Results for Cutting Planes Derived from Maximal Lattice-Free Convex Sets. - Will Johnson:
Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game. - Adrian Dumitrescu, Csaba D. Tóth:
Packing anchored rectangles. - Amol Sasane:
Solvability of the H∞ algebraic Riccati equation in Banach algebras. - Nicolas Gillis, François Glineur:
Accelerated Multiplicative Updates and Hierarchical ALS Algorithms for Nonnegative Matrix Factorization. - Frank Havemann, Jochen Gläser, Michael Heinz, Alexander Struck:
Identifying Overlapping and Hierarchical Thematic Structures in Networks of Scholarly Papers: A Comparison of Three Approaches. - Yaroslav D. Sergeyev:
Univariate global optimization with multiextremal non-differentiable constraints without penalty functions. - Yaroslav D. Sergeyev, Dmitri E. Kvasov, Falah M. H. Khalaf:
A One-Dimensional Local Tuning Algorithm for Solving GO Problems with Partially Defined Constraints. - Paul Dupuis, Konstantinos Spiliopoulos, Hui Wang:
Importance Sampling for Multiscale Diffusions. - Matthew L. Wallace, Vincent Larivière, Yves Gingras:
A small world of citations? The influence of collaboration networks on citation practices. - Giovanni Luca Ciampaglia:
A bounded confidence approach to understanding user participation in peer production systems. - Lauri Kovanen, Márton Karsai, Kimmo Kaski, János Kertész, Jari Saramäki:
Temporal motifs in time-dependent networks. - Vin de Silva, Dmitriy Morozov, Mikael Vejdemo-Johansson:
Dualities in persistent (co)homology. - Victor M. Preciado, Ali Jadbabaie, George C. Verghese:
Structural Analysis of Laplacian Spectral Properties in Complex Electric Grids. - Stefania Vitali, James B. Glattfelder, Stefano Battiston:
The network of global corporate control. - Qi Lu:
Carleman Estimate for Stochastic Parabolic Equations and Inverse Stochastic Parabolic Problems. - François Le Gall:
Quantum Private Information Retrieval with Sublinear Communication Complexity. - Ivo Hedtke:
Upgrading Subgroup Triple Product Property Triples. - Michael A. Clark, P. C. La Plante, Lincoln J. Greenhill:
Accelerating Radio Astronomy Cross-Correlation with Graphics Processing Units. - Xiongping Dai, Yu Huang, Mingqing Xiao:
Pointwise stabilization of discrete-time matrix-valued stationary Markov chains. - Olivier Finkel:
Decision Problems for Recognizable Languages of Infinite Pictures. - Can Baskent:
Homotopies in Classical and Paraconsistent Modal Logics. - Ian D. Morris, Nikita Sidorov:
On a Devil's staircase associated to the joint spectral radii of a family of pairs of matrices. - Dorota Lipowska, Adam Lipowski:
Naming Game on Adaptive Weighted Networks.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-18 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
